|
QA9 .E2213 1994
|
Mathematical logic |
1 |
|
QA9 .E9 1965
|
An introduction to the foundations and fundamental concepts of mathematics |
1 |
|
QA9 .E96
|
Logic in elementary mathematics |
1 |
|
QA9 .G5313 1986 v.1
|
Collected works |
1 |
| Your match would be here. |
|
QA9 .G5313 1986 v.2
|
Collected works |
1 |
|
QA9 .H298
|
Logic for mathematicians |
1 |
|
QA9 .J64 1987
|
Notes on logic and set theory |
1 |
|
QA9 .K47 1967
|
Language, logic, and mathematics |
1 |
|
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 |