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
The Mathematician's Mind: The Psychology of Invention in the Mathematical Field (Princeton Science Library)
by Jacques Hadamard
ISBN 13: 9780691029313
Format: Paperback (168 pages) Publisher: Princeton University Press Published: 30 Sep 1996
Mathematical Logic
by Joseph R. Shoenfield
ISBN 13: 9781568811352
Format: Paperback (352 pages) Publisher: Routledge Published: 01 Jan 2001
Logic For Dummies
by Zegarelli, Mark Mark Zegarelli,
ISBN 13: 9780471799412
Format: paperback Publisher: For Dummies
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
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
Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)
by Sergei N. Artemov, Anil Nerode
ISBN 13: 9783540727323
Format: Illustrated (528 pages) Publisher: Springer Published: 22 Feb 2009
Logical Labyrinths
by Raymond Smullyan
ISBN 13: 9781568814438
Format: Hardcover (275 pages) Publisher: A K Peters/CRC Press Published: 30 Nov 2008
Conceptual Mathematics: A First Introduction to Categories
by F. William Lawvere
ISBN 13: 9780521719162
Format: Paperback (408 pages) Publisher: Cambridge University Press Published: 26 Oct 2011
Godel, Escher, Bach: An Eternal Golden Braid
by Douglas Hofstadter
ISBN 13: 9780465026562
Format: Illustrated (777 pages) Publisher: Basic Books Published: 15 Jan 1999
Cryptographic Boolean Functions and Applications,
by Thomas W. Cusick
ISBN 13: 9780123748904
Format: Illustrated (250 pages) Publisher: Academic Press Published: 21 Apr 2009
Logic from Russell to Church: 5 (Handbook of the History of Logic)
by Gabbay
ISBN 13: 9780444516206
Format: Hardcover (950 pages) Publisher: North Holland Published: 17 Jun 2009