|
QA9.A1 A47 1985
|
Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 |
1 |
|
QA9 .A236 2000
|
The mystery of the aleph : mathematics, the kabbalah, and the search for infinity |
1 |
|
QA9 .A634 2008
|
Analysis and synthesis of logics : how to cut and paste reasoning systems |
1 |
|
QA9 .B3955 2001
|
Mathematical logic for computer science |
1 |
|
QA9 .B847
|
Mathematical fallacies and paradoxes |
1 |
|
QA9 .C48618 2017
|
Beyond infinity : an expedition to the outer limits of mathematics |
1 |
|
QA9 .C85 1977
|
Foundations of mathematical logic |
1 |
|
QA9 .D16 2004
|
Logic and structure |
1 |
|
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 |
|
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 |