QA9.7 .D53 2008eb
|
Institution-independent model theory / |
1 |
QA9.7 .D58 2006
|
Distribution models theory / |
1 |
QA9.7 .F565 2011
|
Finite and algorithmic model theory / |
1 |
QA9.7 .H66
|
Forcing, arithmetic, and division rings / |
1 |
QA9.7 .H68 1993
|
Model theory / |
1 |
QA9.7 .K45 1990
|
Model theory / |
1 |
QA9.7 .K56 2014eb
|
Simplicity theory / |
1 |
QA9.7 .K67 2006eb
|
The structure of models of Peano arithmetic / |
1 |
QA9.7 .L64 2002
|
Logic and algebra / |
2 |
QA9.7 .L66 2015
|
Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics / |
1 |
QA9.7 .M228 1989
|
Accessible categories : the foundations of categorical model theory / |
1 |
QA9.7 .M23
|
First order categorical logic : model-theoretical methods in the theory of topoi and related categories / |
1 |
QA9.7 .M35 1989eb
|
Accessible categories : the foundations of categorical model theory / |
1 |
QA9.7 .M367 2002
|
Model theory : an introduction / |
1 |
QA9.7 .M583 2011
|
Model theoretic methods in finite combinatorics : AMS-ASL joint special session, January 5-8, 2009 Washington, DC / |
1 |
QA9.7 .M583 2011eb
|
Model Theoretic Methods in Finite Combinatorics |
1 |
QA9.7 .M595 2000
|
Model theory, algebra, and geometry / |
1 |
QA9.7 .M6
|
Model theory and applications. |
1 |
QA9.7 .M61
|
Model theory and arithmetic : comptes rendus d'une Action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / |
1 |
QA9.7 .M636 1997
|
Model theory of groups and automorphism groups : Blaubeuren, August 1995 / |
1 |