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
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
Aspects of Combinatorics: A Wide-ranging Introduction
by Victor Bryant
ISBN 13: 9780521429979
Format: Illustrated (276 pages) Publisher: Cambridge University Press Published: 14 Jan 1993
Studying Mathematics and its Applications: 33 (Macmillan Study Skills)
by Peter Kahn
ISBN 13: 9780333922798
Format: Paperback (212 pages) Publisher: Palgrave Published: 31 Oct 2001
Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)
by Antoine Joux
ISBN 13: 9781420070026
Format: Hardcover (519 pages) Publisher: Chapman and Hall/CRC Published: 22 Jun 2009
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
by Martin Hofmann
ISBN 13: 9783540403326
Format: Illustrated (332 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008