QA9 .K55
|
Introduction to metamathematics |
1 |
QA9 .K677
|
The philosophy of mathematics, an introductory essay |
1 |
QA9 .L47
|
Logic and Boolean algebra |
1 |
QA9 .M265
|
Introduction to mathematical logic : set theory, computable functions, model theory |
1 |
QA9 .M398 2005
|
Euclid in the rainforest : discovering universal truth in logic and math |
1 |
QA9 .M4513
|
Evolution of mathematical thought |
1 |
QA9 .N3
|
Gödel's proof |
1 |
QA9 .N49 1962
|
The development of mathematical logic |
1 |
QA9 .N53 2002
|
Foundations of logic and mathematics : applications to computer science and cryptography |
1 |
QA9 .P515 1995
|
Keys to infinity |
1 |
QA9 .P57 v.1
|
Mathematics and plausible reasoning |
1 |
QA9 .P57 v.2
|
Mathematics and plausible reasoning |
1 |
QA9 .R58 1958
|
Fundamentals of mathematics |
1 |
QA9 .R775 1993
|
Taking God out of mathematics and putting the body back in : an essay in corporeal semiotics |
1 |
QA9 .R79 1982
|
Infinity and the mind : the science and philosophy of the infinite |
1 |
QA9 .R88 1938
|
Principles of mathematics |
1 |
QA9 .S575 2009
|
Logical labyrinths |
1 |
QA9 .S67
|
An introduction to mathematical thought |
1 |
QA9 .S755
|
The foundations of mathematics |
1 |
QA9 .S756 2017
|
Infinity : a very short introduction |
1 |