|
QA 9 R9i 1938
|
Introduction to mathematical philosophy / |
1 |
|
QA9 .S283 1973
|
Proceedings of the third Scandinavian Logic Symposium / |
1 |
|
QA9 .S48 1991
|
Foundations without foundationalism : a case for second-order logic / |
1 |
|
QA9 .S48 1991eb
|
Foundations without foundationalism : a case for second-order logic / |
1 |
|
QA9 .S66
|
First-order logic |
1 |
|
QA9 .S687 1982
|
How to read and do proofs : an introduction to mathematical thought process / |
1 |
|
QA9 .S69 1961
|
The method of mathematical induction. |
1 |
|
QA9 .S755 2015
|
The foundations of mathematics / |
1 |
|
QA9 .S81
|
Unvollständigkeit und Unentscheidbarkeit. |
1 |
|
QA9 .S95 1993
|
Logic : mathematics, language, computer science, and philosophy / |
1 |
|
QA9 .T19
|
Undecidable theories. |
1 |
|
QA9 .T54 2011eb
|
After Gödel : Platonism and rationalism in mathematics and logic / |
1 |
|
QA9 .V38 1994
|
How to prove it : a structured approach / |
1 |
|
QA9 .W1 1951
|
Introduction to mathematical thinking: the formation of concepts in modern mathematics; |
1 |
|
QA9 .W335 2003
|
Everything and more : a compact history of infinity / |
1 |
|
QA9 .W36
|
Popular lectures on mathematical logic / |
1 |
|
QA9 .W59 1950
|
Principia mathematica, |
1 |
|
QA9 .W7483 2005eb
|
A tour through mathematical logic / |
1 |
|
QA9 .W749 2003eb
|
Paradox and paraconsistency : conflict resolution in the abstract sciences / |
1 |
|
QA9 .W8 1956
|
Remarks on the foundations of mathematics / |
1 |