There's Something About Godel!: The Complete Guide to the Incompleteness Theorem
by Francesco Berto
ISBN 13: 9781405197670
Format: Paperback (254 pages) Publisher: Wiley-Blackwell Published: 06 Nov 2009 Other Format: Illustrated
Save for later
Numbers & Proofs (Modular Mathematics Series)
by R. B. J. T. Allenby
ISBN 13: 9780340676530
Format: Paperback (288 pages) Publisher: Butterworth-Heinemann Published: 26 Sep 1997
Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)
by D.L. Johnson
ISBN 13: 9783540761235
Format: Paperback (198 pages) Publisher: Springer Published: 27 Feb 1998
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)
by Chitta Baral,Gerhard Brewka,John Schlipf
ISBN 13: 9783540721994
Format: Paperback (344 pages) Publisher: Springer Published: 27 Apr 2007
Set Theory and its Philosophy: A Critical Introduction
by Michael Potter
ISBN 13: 9780199270415
Format: Illustrated (360 pages) Publisher: Oxford University Press, U.S.A. Published: 13 Apr 2006
Logic, Induction and Sets (London Mathematical Society Student Texts)
by Thomas Forster
ISBN 13: 9780521533614
Format: Paperback (246 pages) Publisher: Cambridge University Press Published: 25 Sep 2003
Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings: 3363 (Lecture Notes in Computer Science)
by Thomas Eiter,Leonid Libkin
ISBN 13: 9783540242888
Format: Paperback (424 pages) Publisher: Springer Published: 16 Dec 2004
Cryptanalysis of RSA and Its Variants (Chapman & Hall/CRC Cryptography and Network Security Series)
by M. Jason Hinek, Douglas R. Stinson
ISBN 13: 9781420075182
Format: Hardcover (272 pages) Publisher: Chapman & Hall Published: 21 Jul 2009
The Reason's Proper Study: Essays towards a Neo-Fregean Philosophy of Mathematics
by Bob Hale,Crispin Wright
ISBN 13: 9780199266326
Format: Paperback (470 pages) Publisher: Clarendon Press Published: 13 Nov 2003
Kurt Gödel: Collected Works: Volume II: Publications 1938-1974: Publications 1938-1974 Vol 2 (Collected Works (Oxford))
by Kurt Gödel
ISBN 13: 9780195147216
Format: Paperback (432 pages) Publisher: OUP USA Published: 16 Aug 2001
Theorie DES Ensembles: Éléments de Mathématique
by N Bourbaki
ISBN 13: 9783540340348
Format: Paperback (250 pages) Publisher: Springer Published: 01 Sep 2006
Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises: ... Calculus, Completeness Theorems Pt.1
by René Cori,Daniel Lascar
ISBN 13: 9780198500483
Format: Paperback (360 pages) Publisher: OUP Oxford Published: 07 Sep 2000