QA9.7 .R83 1993
|
The reconstruction of trees from their automorphism groups / The Reconstruction of Trees from Their Automorphism Groups. |
2 |
QA9.7 .S528
|
Around classification theory / |
1 |
QA9.7 .S53
|
Classification theory and the number of non-isomorphic / |
1 |
QA9.7 .S53 1990
|
Classification theory and the number of non-isomorphic models / |
1 |
QA9.7 .S535 1998
|
Proper and improper forcing / |
1 |
QA 9.7 S54
|
Proper forcing / |
1 |
QA9.7 .T63 2014eb
|
NOTES ON FORCING AXIOMS. |
1 |
QA9.7 .U48 2008
|
Ultrafilters across mathematics : international congress, Ultramath 2008, Applications of Ultrafilters and Ultraproducts in Mathematics, June 1-7, 2008, Pisa, Italy / |
1 |
QA9.7 U48 2008eb
|
Ultrafilters across Mathematics. |
1 |
QA9.7 .W435 2014eb
|
Forcing for mathematicians / |
1 |
QA9.7 .W66 1999eb
|
The axiom of determinacy, forcing axioms, and the nonstationary ideal / |
1 |
QA9.7 .W66 2010
|
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal. |
1 |
QA9.8
|
Mathematicians and their gods : interactions between mathematics and religious beliefs / |
1 |
QA9.8 .E5413 1993
|
Foundations of mathematics : questions of analysis, geometry & algorithms / |
1 |
QA9.8 .H63
|
Gödel, Escher, Bach : an eternal golden braid / |
1 |
QA9.8 .H63 1999
|
Gödel, Escher, Bach : an eternal golden braid / |
1 |
QA10
|
Universal algebraic logic : dedicated to the unity of science / Logics of variable inclusion / Logic and implication : an introduction to the general algebraic study of non-classical logics / |
3 |
QA10 .A44 2021eb
|
Algebraic perspectives on substructural logics / |
1 |
QA10 .A52 1997
|
Decision problems for equational theories of relation algebras / |
1 |
QA10 .B56 1989
|
Algebraizable logics / |
1 |