|
QA9 .M29613
|
A course in mathematical logic / |
1 |
|
QA9 .M29613 2010
|
A course in mathematical logic for mathematicians / |
1 |
|
QA9 .M316 1987
|
To infinity and beyond : a cultural history of the infinite / |
1 |
|
QA9 .M355 1993eb
|
Duality and definability in first order logic / |
1 |
|
QA9 .M398 2005
|
Euclid in the rainforest : discovering universal truth in logic and math / |
1 |
|
QA9 .M53 1964
|
Introduction to mathematical logic. |
1 |
|
QA9 .M68
|
Mathematical logic / |
1 |
|
QA9 .M7554
|
Foundational studies : selected works / |
1 |
|
QA9 .N1 1958
|
Gödel's proof, |
1 |
|
QA9 .P699 2010eb
|
Conditional and preferential logics : proof methods and theorem proving / |
1 |
|
QA9 .P7
|
Mathematics and plausible reasoning. |
1 |
|
QA9 .P87 2004eb
|
Reductive logic and proof-search : proof theory, semantics, and control / |
1 |
|
QA9 .Q54 1990
|
The logic of sequences : a generalization of Principia mathematica / |
1 |
|
QA9 .R3 1957
|
Raum und Zahl. |
1 |
|
QA9 .R357 1998
|
Classical and fuzzy concepts in mathematical logic and applications / |
1 |
|
QA9 .R54
|
Algebraic methods of mathematical logic. |
1 |
|
QA9 .R63
|
Mathematical logic: a first course |
1 |
|
QA9 .R66
|
An introduction to mathematical logic |
1 |
|
QA9 .R79 1982
|
Infinity and the mind : the science and philosophy of the infinite / |
1 |
|
QA9 .R9 1938
|
Principles of mathematics |
1 |