Call Number (LC) Title Results
QA9.7 .M634 1997 Modellus interactive modeling with mathematics. 1
QA9.7 .M634 2016 Model-Theoretic Logics 1
QA9.7 .M636 1997 Model theory of groups and automorphism groups : Blaubeuren, August 1995 /
Model Theory of Groups and Automorphism Groups / 		2
QA9.7 .M638 2008 Model theory with applications to algebra and analysis / 1
QA9.7 .M638 2008eb Model theory with applications to algebra and analysis / 1
QA9.7 .M6381 2008eb Model theory with applications to algebra and analysis. 1
QA9.7 .M6382 2008eb Model theory with applications to algebra and analysis. 1
QA9.7 .M64 1997 Modellus interactive modeling with mathematics. 1
QA9.7 .M64 2011 Models, logics, and higher-dimensional categories : a tribute to the work of Mihály Makkai /
Models, logics, and higher-dimensional categories a tribute to the work of Mihály Makkai / 		2
QA9.7 .M67 Studies in model theory / 1
QA9.7 .M68 2011 Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry. 2
QA9.7 .M68 2011eb Motivic integration and its interactions with model theory and non-Archimedean geometry. 1
QA9.7 .O66 2008 Realizability : an introduction to its categorical side / 1
QA9.7 .O66 2008eb Realizability an introduction to its categorical side / 1
QA9.7 .O88 1997 Bounded variable logics and counting : a study in finite models / 1
QA9.7 P377 2014 Taxinomie et Réalité 1
QA9.7 .P54 1996 Geometric stability theory / 1
QA9.7 .P55 1983 An introduction to stability theory / 2
QA9.7 .P65 2000 A course in model theory : an introduction to contemporary mathematical logic / 2
QA9.7 .P67 1981 Einführung in die Modelltheorie und ihre Anwendungen / 1