From Frege to Godel: Mathematical Logic, 1879-1931 (Source Books in History of Sciences)
by Henry Van Heigenoort
ISBN 13: 9780674324497
Format: Paperback (680 pages) Publisher: Harvard University Press Published: 01 Jul 1990
Save for later
Abstract Sets and Finite Ordinals: An Introduction to the Study of Set Theory
by G B Keene
ISBN 13: 9780486462493
Format: Paperback (112 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Computational Linguistics and Intelligent Text Processing: 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, ... Computer Science and General Issues)
by
ISBN 13: 9783540709381
Format: Paperback (648 pages) Publisher: Springer Published: 07 Feb 2007
Analysis: An Introduction
by Richard Beals
ISBN 13: 9780521600477
Format: Paperback (272 pages) Publisher: Cambridge University Press Published: 13 Sep 2004
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
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