|
|
QA9 .W412 1949 : Weyl, Hermann,
|
|
|
Philosophy of mathematics and natural science. / Rev. and augm. English ed., based on a translation b
Talbott: Offsite Storage:Available
|
Book
|
1963
|
|
QA9 .W47
|
|
|
What is mathematical logic? / J. N. Crossley...[and others].
Moore Stacks:Available
|
Book
|
1972
|
|
QA9 .W5 1927 : Whitehead, Alfred North,
|
|
|
Principia mathematica / by Alfred North Whitehead and Bertrand Russell.
Moore Stacks:Available
|
Book
|
1927
|
|
QA9 .W57 : Wilder, Raymond Louis,
|
|
|
Evolution of mathematical concepts; an elementary study / Raymond L. Wilder.
Moore Stacks:Available
|
Book
|
1968
|
|
QA9 .W72 1955 : Wiskundig Genootschap (Netherlands)
|
|
|
Mathematical interpretation of formal systems / Th. Skolem [and others].
Moore Stacks:Available
|
Book
|
1955
|
|
QA9 .W743 : Wittgenstein, Ludwig,
|
|
|
Remarks on the foundations of mathematics. / Edited by G.H. von Wright, R. Rhees [and] G.E.M. Anscomb
Moore Stacks:Available
|
Book
|
1956
|
|
QA9 .W743 1956 : Wittgenstein, Ludwig,
|
|
|
Remarks on the foundations of mathematics / by Ludwig Wittgenstein ; edited by G. H. von Wright, R. R
Moore Stacks:Available
|
Book
|
1956
|
|
QA9 .W743 1964 : Wittgenstein, Ludwig,
|
|
|
Remarks on the foundations of mathematics. / Edited by G. H. von Wright, R. Rhees [and] G. E. M. Ansc
Moore Stacks:Available
|
Book
|
1964
|
|
QA9 .W749 2003eb : Woods, John
|
|
|
Paradox and paraconsistency : conflict resolution in the abstract sciences / John Woods.
|
Bestseller
|
2003
|
|
QA9 .Z6 : Zoll, Edward J.
|
|
|
Logic; a programed text for two-valued and three-valued logics / Edward J. Zoll.
Moore Stacks:Available
|
Book
|
1968
|
|
QA9.2 .C45 2007eb : Chiswell, Ian,
|
|
|
Mathematical logic / Ian Chiswell and Wilfrid Hodges.
|
Bestseller
|
2007
|
|
QA9.2 .D38 2006 : Davis, Philip J.,
|
|
|
Mathematics and common sense : a case of creative tension / Philip J. Davis.
Moore Stacks:Available
|
Book
|
2006
|
|
QA9.2 .F44 1998eb : Feferman, Solomon.
|
|
|
In the light of logic / Solomon Feferman.
|
Bestseller
|
1998
|
|
QA9.2 .F67 2014
|
|
|
Formalism and beyond : on the nature of mathematical discourse / edited by Godehard Link.
|
Bestseller
|
2014
|
|
QA9.2 .K87 2010eb
|
|
|
Kurt Gödel : essays for his centennial / edited by Solomon Feferman, Charles Parsons, Stephen G. Simp
|
Bestseller
|
2010
|
|
QA9.2 .M36 2003eb
|
|
|
Mathematical logic in the 20th century / [edited by] Gerald E. Sacks.
|
Bestseller
|
2003
|
|
QA9.2 .M87 2010eb : Murawski, Roman.
|
|
|
Essays in the philosophy and history of logic and mathematics / Roman Murawski ; foreword, Jan Woleńs
|
Bestseller
|
2010
|
|
QA9.2 .P372 2014eb : Parsons, Charles,
|
|
|
Philosophy of mathematics in the twentieth century : selected essays / Charles Parsons.
|
Bestseller
|
2014
|
|
QA9.2 T68eb vol. 1 : Tourlakis, George J.
|
|
|
Lectures in logic and set theory. Vol. 1, Mathematical logic / George Tourlakis.
|
Bestseller
|
2003
|
|
QA9.2 .T68eb vol. 2 : Tourlakis, George J.
|
|
|
Lectures in logic and set theory. Volume 2, Set theory / George Tourlakis.
|
Bestseller
|
2003
|
|
QA9.3 .H36 2009eb
|
|
|
Handbook of satisfiability / edited by Armin Biere [and others].
|
Bestseller
|
2009
|
|
QA9.3 .H36 2021eb
|
|
|
Handbook of satisfiability / editors: Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh.
|
Bestseller
|
2021
|
|
QA9.37 .M37 2016 : Marker, D.
|
|
|
Lectures on infinitary model theory / David Marker, University of Illinois, Chicago.
|
Bestseller
|
2016
|
|
QA9.4 .E77 2001eb
|
|
|
Essays on non-classical logic / editor, Heinrich Wansing.
|
Bestseller
|
2001
|
|
QA9.4 .F67 2003eb : Forster, T. E.
|
|
|
Reasoning about theoretical entities / Thomas Forster.
|
Bestseller
|
2003
|
|
QA9.4 .P75 2008eb : Priest, Graham,
|
|
|
An introduction to non-classical logic : from if to is / Graham Priest.
|
Bestseller
|
2008
|
|
QA9.45 .M35 1993 : Malinowski, Grzegorz.
|
|
|
Many-valued logics / Grzegorz Malinowski.
Moore Stacks:Available
|
Book
|
1993
|
|
QA9.46 .G664 201 : Goldblatt, Robert.
|
|
|
Quantifiers, Propositions and Identity : Admissible Semantics for Quantified Modal and Substructural
|
Bestseller
|
2011
|
|
QA9.47 .D84 : Dummett, Michael,
|
|
|
Elements of intuitionism / by Michael Dummett ; with the assistance of Roberto Minio.
Moore Stacks:Available
|
Book
|
1977
|
|
QA9.5 : Barendregt, Henk.
|
|
|
Lambda Calculus with Types / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions fron
|
Bestseller
|
2013
|
|
QA9.5 .H565 2008eb : Hindley, J. Roger.
|
|
|
Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin.
|
Bestseller
|
2008
|
|
QA9.54
|
|
|
An introduction to mathematical reasoning : numbers, sets, and functions / Peter J. Eccles.
Moore Stacks:Available
|
Book
|
1997
|
Proving in the elementary mathematics classroom / Andreas J. Stylianides.
|
Bestseller
|
2016
|
|
QA9.54 .A57 2010 : Alsina, Claudi.
|
|
|
Charming proofs : a journey into elegant mathematics / Claudi Alsina, Roger B. Nelsen.
|
Bestseller
|
2010
|
|
QA9.54 .B36 2000eb : Benson, Donald C.
|
|
|
The moment of proof : mathematical epiphanies / Donald C. Benson.
|
Bestseller
|
2000
|
|
QA9.54 .C67 2016eb
|
|
|
Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Pete
|
Bestseller
|
2016
|
|
QA9.54 .C86 2005eb : Cupillari, Antonella.
|
|
|
The nuts and bolts of proofs / Antonella Cupillari.
|
Bestseller
|
2005
|
|
QA9.54 .H345 : Hammack, Richard H.
|
|
|
Book of proof / Richard Hammack.
|
Bestseller
|
2009
|
|
QA9.54 .K72 2019 : Krajíček, Jan,
|
|
|
Proof complexity / Jan Krajíček, Charles University, Prague.
Moore Stacks:Available
|
Book
|
2019
|
|
QA9.54 .L33 2001 : Laczkovich, Miklós.
|
|
|
Conjecture and proof / Miklós Laczkovich.
Moore Stacks:Available
|
Book
|
2001
|
|
QA9.54 .L47 2010eb : Lerman, M.
|
|
|
A framework for priority arguments / Manuel Lerman.
|
Bestseller
|
2010
|
|
QA9.54 .L56 2004
|
|
|
Linear Logic in Computer Science / edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scot
|
Bestseller
|
2004
|
|
QA9.54 .M34 2002eb : Maddox, Randall B.
|
|
|
Mathematical thinking and writing : a transition to abstract mathematics / Randall B. Maddox.
|
Bestseller
|
2002
|
|
QA9.54 .M66eb : Morris, Dave Witte.
|
|
|
Proofs and concepts : the fundamentals of abstract mathematics / by Dave Witte Morris and Joy Morris,
|
Bestseller
|
2016
|
|
QA9.54 .N438 2011
|
|
|
Proof Analysis : a Contribution to Hilbert's Last Problem.
|
Bestseller
|
2011
|
|
QA9.54 .P77 1991eb
|
|
|
Proof, logic, and formalization / edited by Michael Detlefsen.
|
Bestseller
|
1992
|
|
QA9.54 .S35 2010eb : Schindler, Ralf-Dieter.
|
|
|
Ways of proof theory / Ralf Schindler (ed.).
|
Bestseller
|
2010
|
|
QA9.54 .S67 2006eb : Sørensen, Morten Heine.
|
|
|
Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn.
|
Bestseller
|
2006
|
|
QA9.54 .S86eb : Sundstrom, Theodore A.
|
|
|
Mathematical reasoning : writing and proof / Ted Sundstrom.
|
Bestseller
|
2014
|
|
QA9.54 .T2813 2003eb : Takeuti, Gaisi,
|
|
|
Memoirs of a proof theorist : Gödel and other logicians / [by Gaisi Takeuti ; translated by] Mariko Y
|
Bestseller
|
2003
|
|
QA9.56 : Nelson, Edward.
|
|
|
Predicative Arithmetic. (MN-32).
|
Bestseller
|
2014
|
|