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 |
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 |