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
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
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
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today (Logic, Epistemology, and the Unity of Science)
ISBN 13: 9789048124855
Format: Paperback (360 pages) Publisher: Springer Published: 12 Mar 2009 Other Format: Hardcover
Mathematical Lives: Protagonists of the Twentieth Century From Hilbert to Wiles
ISBN 13: 9783642136054
Format: Hardcover (343 pages) Publisher: Springer Published: 09 Oct 2010
Deep Beauty: Understanding the Quantum World through Mathematical Innovation
ISBN 13: 9781107005709
Format: Hardcover (486 pages) Publisher: Cambridge University Press Published: 18 Apr 2011
From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics (Synthese Library)
ISBN 13: 9789048145546
Format: Paperback (488 pages) Publisher: Springer Published: 16 Nov 2010
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
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
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
Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)
by Ethan D. Bloch
ISBN 13: 9781441971265
Format: Hardcover (383 pages) Publisher: Springer Published: 21 Feb 2011