There's Something About Godel!: The Complete Guide to the Incompleteness Theorem
by BERTO
ISBN 13: 9781405197663
Format: Illustrated (256 pages) Publisher: John Wiley & Sons Published: 06 Nov 2009 Other Format: Paperback
Save for later
Mathematics in Philosophy: Selected Essays
by Charles Parsons
ISBN 13: 9780801489815
Format: Paperback (368 pages) Publisher: Cornell University Press Published: Mar 2005
Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153
by Dov M. Gabbay,Dimitrij Skvortsov,Valentin Shehtman
ISBN 13: 9780444520128
Format: Illustrated (640 pages) Publisher: Elsevier Science Published: 09 Jun 2009
Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II): A Course with Exercises Part II: ... Godel's Theorems, Set Theory, Model Theory
by Rene Cori,Donald H. Pelletier,Daniel Lascar
ISBN 13: 9780198500506
Format: Paperback (352 pages) Publisher: Oxford University Press, USA Published: 12 Apr 2001
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science)
by Andrea Corradini, Ugo Montanari
ISBN 13: 9783642034282
Format: Paperback (352 pages) Publisher: Springer Published: 07 Sep 2009
Higher Topos Theory (AM-170) (Annals of Mathematics Studies) (Annals of Mathematics Studies, 170)
by Jacob Lurie
ISBN 13: 9780691140490
Format: Paperback (944 pages) Publisher: Princeton University Press Published: 06 Jul 2009
Ernst Zermelo - Collected Works/Gesammelte Werke: Volume I/Band I - Set Theory, Miscellanea/Mengenlehre, Varia: v. 21 (Schriften der Mathematisch-naturwissenschaftlichen Klasse)
by Ernst Zermelo,Heinz-Dieter Ebbinghaus,Enzo de Pellegrin
ISBN 13: 9783540793830
Format: Hardcover (680 pages) Publisher: Springer Published: 13 Jan 2010
Problems Of Number Theory In Mathematical Competitions: 2 (Mathematical Olympiad Series)
by YU HONGBING
ISBN 13: 9789814271141
Format: Paperback (116 pages) Publisher: World Scientific Publishing Published: 16 Nov 2009
Argumentation Schemes
by Douglas Walton
ISBN 13: 9780521723749
Format: Illustrated (456 pages) Publisher: Cambridge University Press Published: 04 Aug 2008 Other Format: Hardcover
New Waves in Philosophy of Mathematics
by Otavio Bueno
ISBN 13: 9780230219434
Format: Illustrated (344 pages) Publisher: Palgrave Published: 29 Sep 2009
Classic Set Theory (Chapman & Hall Mathematics S)
by D.C. Goldrei
ISBN 13: 9780412606106
Format: Paperback (296 pages) Publisher: Routledge Published: 01 Jul 1996
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
by W. Bibel, P.H. Schmitt
ISBN 13: 9780792351306
Format: Hardcover (448 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover, Illustrated