Call Number (LC) Title Results
QA9.2 .B657 2018eb The continued exercise of reason : public addresses / 1
QA9.2 .B657 2019 The continued exercise of reason : public addresses by George Boole / 1
QA9.2 .B67 2000 A Boole anthology : recent and classical studies in the logic of George Boole / 1
QA9.2 .C45 2007 Mathematical logic / 1
QA9.2 .C45 2007eb Mathematical logic / 2
QA9.2 .C65 1969 The collected papers of Gerhard Gentzen 1
QA9.2 .D38 2006 Mathematics and common sense : a case of creative tension / 2
QA9.2 .D48 1986 Hilbert's program : an essay on mathematical instrumentalism / 1
QA9.2 .F44 1998 In the light of logic / 1
QA9.2.F44 1998 QA9.2 .F44 1998eb In the Light of Logic. 1
QA9.2 .F45 2000 Lectures on mathematical logic. 1
QA9.2 .F67 2014 Formalism and beyond : on the nature of mathematical discourse / 2
QA9.2 .G55 2005 Logicism renewed : logical foundations for mathematics and computer science / 3
QA9.2 .H45 2021 Mathematics and its logics : philosophical essays / 1
QA9.2 H455 2021 Mathematics and Its Logics Philosophical Essays. 1
QA9.2 .H55 1998 Language, truth, and logic in mathematics / 1
QA9.2 .I58 2014 Interpreting Gödel : critical essays / 1
QA9.2 .I58 2014eb Interpreting Gödel : critical essays / 1
QA9.2 .K87 2010 Kurt Gödel : essays for his centennial / 1
QA9.2.K87 2010 Kurt Gödel : Essays for his Centennial. 1