Call Number (LC) Title Results
QA9.7 .P6813 2001 Stable groups / 1
QA9.7 .P6813 2001eb Stable groups / 1
QA9.7 .P74 1988 Model Theory and Modules /
Model theory and modules / 		3
QA9.7 .Q36 1995 Quantifiers : logics, models, and computation / 1
QA9.7 .R675 2000 Introduction to model theory / 1
QA9.7 .R83 1993 The Reconstruction of Trees from Their Automorphism Groups.
The reconstruction of trees from their automorphism groups / 		2
QA9.7 .S36 2010 The use of ultraproducts in commutative algebra 1
QA9.7 .S45 1980 Modèles de l'arithmétique : séminaire Paris VII / 1
QA9.7 .S46 2021 The semantic conception of logic : essays on consequence, invariance, and meaning / 2
QA9.7 .S53 Classification theory and the number of non-isomorphic models / 1
QA9.7 .S53 1990 Classification theory and the number of non-isomorphic models / 2
QA9.7 .S53 1990eb Classification theory and the number of non-isomorphic models 1
QA9.7 .S535 1998 Proper and improper forcing / 1
QA9.7 .S535 2017 Proper and improper forcing / 1
QA9.7 .S536 2015 A guide to NIP theories / 2
QA9.7 .S537 1999 Subsystems of second order arithmetic / 1
QA9.7 .S537 2009 Subsystems of second order arithmetic /
Subsystems of Second Order Arithmetic / 		2
QA9.7.S537 2009 Subsystems of Second Order Arithmetic 1
QA9.7 .S545 2016 Proper and improper forcing / 1
QA9.7 .T45 2012eb A course in model theory / 2