Call Number (LC) Title Results
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
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