Buy Used and New Mathematical Foundations Books

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

by J. Roger Hindley

ISBN 13: 9780521465182

Format: Hardcover (200 pages)
Publisher: Cambridge University Press
Published: 31 Jul 1997

Save for later

Analysis: An Introduction

by Richard Beals

ISBN 13: 9780521600477

Format: Paperback (272 pages)
Publisher: Cambridge University Press
Published: 13 Sep 2004

Save for later

Computability In Context: Computation And Logic In The Real World

by Cooper S Barry et al

ISBN 13: 9781848162457

Format: Hardcover (420 pages)
Publisher: Imperial College Press
Published: 25 Apr 2011

Save for later

The Proof is in the Pudding: The Changing Nature of Mathematical Proof

by Steven G. Krantz

ISBN 13: 9780387489087

Format: Hardcover (281 pages)
Publisher: Springer
Published: 19 May 2011

Save for later

Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV

by

ISBN 13: 9781402090837

Format: Hardcover (360 pages)
Publisher: Springer
Published: 27 Nov 2008

Save for later

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today (Logic, Epistemology, and the Unity of Science)

by

ISBN 13: 9789048124855

Format: Paperback (360 pages)
Publisher: Springer
Published: 12 Mar 2009
Other Format: Hardcover

Save for later

Mathematical Lives: Protagonists of the Twentieth Century From Hilbert to Wiles

by

ISBN 13: 9783642136054

Format: Hardcover (343 pages)
Publisher: Springer
Published: 09 Oct 2010

Save for later

Deep Beauty: Understanding the Quantum World through Mathematical Innovation

by

ISBN 13: 9781107005709

Format: Hardcover (486 pages)
Publisher: Cambridge University Press
Published: 18 Apr 2011

Save for later

From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics (Synthese Library)

by

ISBN 13: 9789048145546

Format: Paperback (488 pages)
Publisher: Springer
Published: 16 Nov 2010

Save for later

Inductive Logic Programming: 13th International Conference, ILP 2003 Szeged, Hungary, September 29-October 1, 2003 Proceedings: 2835 (Lecture Notes in Computer Science)

by Tamás Horváth,Akihiro Yamamoto

ISBN 13: 9783540201441

Format: Paperback (416 pages)
Publisher: Springer
Published: 24 Sep 2003

Save for later

Dual Tableaux: Foundations, Methodology, Case Studies (Trends in Logic)

by Ewa Orlowska,Joanna Goliska Pilarek

ISBN 13: 9789400700048

Format: Hardcover (567 pages)
Publisher: Springer
Published: 30 Nov 2010

Save for later

The P=NP Question and Gödel's Lost Letter

by Richard J. Lipton

ISBN 13: 9781441971548

Format: Hardcover (252 pages)
Publisher: Springer
Published: 02 Sep 2010

Save for later