Call Number (LC) Title Results
QA9.7 .T63 2014eb NOTES ON FORCING AXIOMS. 1
QA9.7 U48 2008eb Ultrafilters across Mathematics.
Ultrafilters across Mathematics 		2
QA9.7 .U58 2008 Ultrafilters across mathematics : International Congress, Ultramath 2008 : Applications of Ultrafilters and Ultraproducts in Mathematics, June 1-7, 2008, Pisa, Italy / 1
QA9.7 .W38 2000 Simple theories / 1
QA9.7 .W43 1997 Henkin-Keisler models / 1
QA9.7 .W43 1997eb Henkin-Keisler models /
Henkin-Keisler models 		2
QA9.7 .W435 2014eb Forcing for mathematicians / 1
QA9.7 .W66 1999 The axiom of determinacy, forcing axioms, and the nonstationary ideal / 1
QA9.7 .W66 1999eb The axiom of determinacy, forcing axioms, and the nonstationary ideal / 2
QA9.7 .W66 2010 The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal. 1
QA9.7 .W66 2010eb The axiom of determinacy, forcing axioms, and the nonstationary ideal / 1
QA9.7 ǂb J43 1986eb Multiple Forcing / 1
QA9.8 Mathematicians and their gods : interactions between mathematics and religious beliefs / 2
QA9.8 .E5413 1993 Foundations of mathematics : questions of analysis, geometry & algorithmics / 2
QA9.8 .H63 Gödel, Escher, Bach : an eternal golden braid / 1
QA9.8 .H63 1980 Gödel, Escher, Bach : an eternal golden braid / 1
QA9.8 .H63 1999 Gödel, Escher, Bach : an eternal golden braid / 1
QA9.8 .R6 Théorie métamathématique des idéaux. 1
QA9.9 .S74 1988 Matrix logic /
Matrix logic 		2
QA9.9 .S75 1988eb Matrix logic and mind : a probe into a unified theory of mind and matter / 1