|
|
|
|
QA8.4 .T534 2005eb : Tieszen, Richard L.,
|
|
|
|
Phenomenology, logic, and the philosophy of mathematics / Richard Tieszen.
|
Bestseller
|
2005
|
|
|
QA8.4 .T538 1991eb : Tiles, Mary.
|
|
|
|
Mathematics and the image of reason / Mary Tiles.
|
Bestseller
|
1991
|
|
|
QA8.4 .T54 1989 : Tiles, Mary.
|
|
|
|
The philosophy of set theory : an historical introduction to Cantor's paradise / Mary Tiles.
Moore Stacks:Available
|
Book
|
1989
|
|
|
QA8.4 .T83 2009 : Tubbs, Robert,
|
|
|
|
What is a number? : mathematical concepts and their origins / Robert Tubbs.
Moore Stacks:Available
|
Book
|
2009
|
|
|
QA8.4 .W34 1982 : Waismann, Friedrich.
|
|
|
|
Lectures on the philosophy of mathematics / Friedrich Waismann ; edited and with an introduction by W
Moore Stacks:Available
|
Book
|
1982
|
|
|
QA8.4 .W4 1955 : Wedberg, Anders,
|
|
|
|
Plato's philosophy of mathematics.
Moore Stacks:Available
|
Book
|
1955
|
|
|
QA8.4 .W49 2009 : Weyl, Hermann,
|
|
|
|
Mind and nature : selected writings on philosophy, mathematics, and physics / Hermann Weyl ; edited a
Moore Stacks:Available
|
Book
|
2009
|
|
|
QA8.4 .W49 2009eb : Weyl, Hermann,
|
|
|
|
Mind and nature : selected writings on philosophy, mathematics, and physics / Hermann Weyl ; edited a
|
Bestseller
|
2009
|
|
|
QA8.4 .W74 : Wright, Crispin,
|
|
|
|
Wittgenstein on the foundations of mathematics / Crispin Wright.
Moore Stacks:Available
|
Book
|
1980
|
|
|
QA8.6 .B476 2012eb
|
|
|
|
The best writing on mathematics 2011 / Mircea Pitici, editor.
|
Bestseller
|
2012
|
|
|
QA8.6 .B87 2008eb : Burgess, John P.,
|
|
|
|
Mathematics, models, and modality : selected philosophical essays / John P. Burgess.
|
Bestseller
|
2008
|
|
|
QA8.6 .F77eb vol. 1
|
|
|
|
From Kant to Hilbert : a source book in the foundations of mathematics. Volume 1 / [compiled by] Will
|
Bestseller
|
1999
|
|
|
QA8.6 .F77eb vol. 2
|
|
|
|
From Kant to Hilbert : a source book in the foundations of mathematics. Volume II / [compiled by] Wil
|
Bestseller
|
2005
|
|
|
QA8.6 .P37 1983 : Parsons, Charles,
|
|
|
|
Mathematics in philosophy : selected essays / Charles Parsons.
Moore Stacks:Available
|
Book
|
1983
|
|
|
QA8.6 .W57 1989 : Wittgenstein, Ludwig,
|
|
|
|
Wittgenstein's lectures on the foundations of mathematics, Cambridge, 1939 : from the notes of R.G. B
Moore Stacks:Available
|
Book
|
1989
|
|
|
QA8.7 .C75 2014eb
|
|
|
|
Critique as uncertainty / edited by Ole Skovsmose.
|
Bestseller
|
2014
|
|
|
QA9
|
|
|
|
Abstraction and Infinity.
|
Bestseller
|
2016
|
|
Abstraction and infinity / Paolo Mancosu.
|
Bestseller
|
2017
|
|
Beyond infinity : an expedition to the outer-limits of mathematical universe / Eugenia Cheng.
|
Bestseller
|
2017
|
|
Bridge to abstract mathematics / Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence.
|
Bestseller
|
2012
|
|
6 additional entries
|
|
|
|
|
QA9.A1
|
|
|
|
Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy /
|
Bestseller
|
2017
|
|
Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 /
|
Bestseller
|
2016
|
|
|
QA9.A1 A85 2011 : Downey, R. G.
|
|
|
|
Proceedings of the 12Th Asian Logic Conference.
|
Bestseller
|
2013
|
|
|
QA9.A1 A853 2008eb : Asian Logic Conference
|
|
|
|
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 / editors, T. Arai [a
|
Bestseller
|
2010
|
|
|
QA9.A1 I54 2014eb : Workshop on Infinity and Truth
|
|
|
|
Infinity and truth / editors, Chitat Chong, Qi Feng, National University of Singapore, Theodore A. Sl
|
Bestseller
|
2014
|
|
|
QA9.A1 K54 2002 : Kleene, Stephen Cole,
|
|
|
|
Mathematical logic / Stephen Cole Kleene.
Moore Stacks:Available
|
Book
|
2002
|
|
|
QA9.A1 L56 1995eb
|
|
|
|
Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.
|
Bestseller
|
1995
|
|
|
QA9.A1 L64 1997eb : Logic Colloquium
|
|
|
|
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Associat
|
Bestseller
|
1999
|
|
|
QA9.A1 L64 2007eb
|
|
|
|
Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symb
|
Bestseller
|
2007
|
|
Logic Colloquium 2007 / edited by Françoise Delon [and others].
|
Bestseller
|
2010
|
|
|
QA9.A1 L64 2009eb : Logic Colloquium
|
|
|
|
Logic Colloquium 2006 / edited by S. Barry Cooper [and others].
|
Bestseller
|
2009
|
|
|
QA9.A1 L64 2016 : Logic Colloquium
|
|
|
|
Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbol
|
Bestseller
|
2016
|
|
|
QA9.A1 T94 1998eb
|
|
|
|
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 199
|
Bestseller
|
1998
|
|
|
QA9 .A3875 2019
|
|
|
|
Advances in experimental philosophy of logic and mathematics / edited by Andrew Aberdein and Matthew
|
Bestseller
|
2019
|
|
|
QA9 .A66 2012
|
|
|
|
Appalachian set theory : 2006-2012 / edited by James Cummings and Ernest Schimmerling.
|
Bestseller
|
2012
|
|
|
QA9 .A67 : Apostle, Hippocrates George.
|
|
|
|
Aristotle's philosophy of mathematics.
Moore Stacks:Available
|
Book
|
1952
|
|
|
QA9 B25 2008 : Baofu, Peter.
|
|
|
|
The future of post-human mathematical logic / by Peter Baofu.
|
Bestseller
|
2008
|
|
|
QA9 .B26 : Barker, Stephen Francis.
|
|
|
|
Philosophy of mathematics / Stephen F. Barker.
Moore Stacks:Available
|
Book
|
1964
|
|
|
QA9 .B29 2016 : Barwise, Jon,
|
|
|
|
Admissible sets and structures : an approach to definability theory / Jon Barwise.
|
Bestseller
|
2016
|
|
|
QA9 .B36 : Beckman, Frank S.
|
|
|
|
Mathematical foundations of programming / Frank S. Beckman.
Moore Stacks:Available
|
Book
|
1980
|
|
|
QA9 .B379 2016 : Barwise, Jon,
|
|
|
|
Admissible sets and structures : an approach to definability theory / Jon Barwise.
|
Bestseller
|
2016
|
|
|
QA9 .B395 1934b : Bell, Eric Temple,
|
|
|
|
The search for truth / by Eric Temple Bell.
Moore Stacks:Available
|
Book
|
1934
|
|
|
QA9 .B397 : Benacerraf, Paul.
|
|
|
|
Philosophy of mathematics; selected readings. / Edited and with an introduction by Paul Benacerraf an
Moore Stacks:Available
|
Book
|
1964
|
|
|
QA9 .B3988 2011eb : Benthem, Johan van,
|
|
|
|
Logical dynamics of information and interaction / Johan van Benthem.
|
Bestseller
|
2011
|
|
|
QA9 .B4 1964 : Beth, Evert Willem.
|
|
|
|
The foundations of mathematics; a study in the philosophy of science / Evert W. Beth.
Moore Stacks:Available
|
Book
|
1966
|
|
|
QA9 .B62 1933 : Black, Max,
|
|
|
|
The nature of mathematics: a critical study.
Moore Stacks:Available
|
Book
|
1933
|
|
|
QA9 .B856 2015 : Burness, Timothy C.,
|
|
|
|
Classical groups, derangements and primes / Timothy C. Burness, University of Bristol, Michael Giudic
|
Bestseller
|
2016
|
|
|
QA9 .C344 : Castonguay, Charles.
|
|
|
|
Meaning and existence in mathematics.
Moore Stacks:Available
|
Book
|
1972
|
|
|
QA9 .C48 : Zhang, Zhenzhong.
|
|
|
|
Continuous model theory / by Chen Chung Chang and H. Jerome Keisler.
Moore Stacks:Available
|
Book
|
1966
|
|
|
QA9 .C58 2006
|
|
|
|
Church's Thesis after 70 years / Adam Olszewski, Jan Woleński, Robert Janusz (eds.).
|
Bestseller
|
2006
|
|
|
QA9 .C748 2012 : Courcelle, B.
|
|
|
|
Graph structure and monadic second-order logic : a language-theoretic approach / Bruno Courcelle, Joo
Moore Stacks:Available
|
Book
|
2012
|
|
|
QA9 .C748 2012eb : Courcelle, B.
|
|
|
|
Graph structure and monadic second-order logic : a language-theoretic approach / Bruno Courcelle, Joo
|
Bestseller
|
2012
|
|
|
QA9 .C8 : Curry, Haskell B.
|
|
|
|
Outlines of a formalist philosophy of mathematics.
Moore Stacks:Available
|
Book
|
1951
|
|
|
QA9 .C83 1968 : Curry, Haskell B.
|
|
|
|
Combinatory logic / by Haskell B. Curry, Robert Feys ; with two sections by William Craig.
Moore Stacks:Available
|
Book
|
1972
|
|
|
QA9 .C85 : Curry, Haskell B.
|
|
|
|
Foundations of mathematical logic.
Moore Stacks:Available
|
Book
|
1963
|
|
|
