Buy Used and New Mathematical Foundations Books

Logical Labyrinths

by Raymond Smullyan

ISBN 13: 9781568814438

Format: Hardcover (275 pages)
Publisher: A K Peters/CRC Press
Published: 30 Nov 2008

Save for later

Conceptual Mathematics: A First Introduction to Categories

by F. William Lawvere

ISBN 13: 9780521719162

Format: Paperback (408 pages)
Publisher: Cambridge University Press
Published: 26 Oct 2011

Save for later

Godel, Escher, Bach: An Eternal Golden Braid

by Douglas Hofstadter

ISBN 13: 9780465026562

Format: Illustrated (777 pages)
Publisher: Basic Books
Published: 15 Jan 1999

Save for later

Logicism, Intuitionism, and Formalism: What Has Become of Them?: 341 (Synthese Library)

by Sten Lindström,Erik Palmgren,Krister Segerberg

ISBN 13: 9781402089251

Format: Illustrated (528 pages)
Publisher: Springer
Published: 02 Dec 2008

Save for later

Loop Spaces, Characteristic Classes and Geometric Quantization (Modern Birkhäuser Classics)

by Jean-Luc Brylinski

ISBN 13: 9780817647308

Format: Paperback (302 pages)
Publisher: Birkhauser
Published: 06 Dec 2007

Save for later

Model Theory, Algebra, and Geometry (Mathematical Sciences Research Institute Publications)

by

ISBN 13: 9780521143493

Format: Paperback (236 pages)
Publisher: Cambridge University Press
Published: 10 Jun 2010

Save for later

Complexity and Real Computation

by Lenore Blum,Felipe Cucker,Michael Shub,Steve Smale

ISBN 13: 9780387982816

Format: Hardcover (453 pages)
Publisher: Springer
Published: 01 Nov 1997

Save for later

Mathematical Logic: A First Course (Dover Books on Mathematics)

by Joel W Robbin

ISBN 13: 9780486450186

Format: Paperback (224 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

Introduction to the Theory of Sets (Dover Books on Mathematics)

by Joseph Breuer

ISBN 13: 9780486453101

Format: Paperback (128 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

Undecidable Theories (Dover Books on Mathematics)

by Alfred Tarski

ISBN 13: 9780486477039

Format: Paperback (112 pages)
Publisher: Dover Publications Inc.
Published: 24 Sep 2010

Save for later

Logic Colloquium 2000: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Paris, France July 23-31, 2000 (Lecture Notes in Logic)

by

ISBN 13: 9781568812526

Format: Paperback (424 pages)
Publisher: A K Peters/CRC Press
Published: 25 Apr 2005

Save for later

Theory of Recursive Functions and Effective Computability

by Rogers,Howard Poizner,Edward S. Klima,Ursula Bellugi

ISBN 13: 9780262680523

Format: Paperback (504 pages)
Publisher: MIT Press
Published: 01 Jan 1987

Save for later