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
Save for later
Godel, Escher, Bach: An Eternal Golden Braid
by Douglas Hofstadter
ISBN 13: 9780465026562
Format: Illustrated (777 pages) Publisher: Basic Books Published: 15 Jan 1999 Other Format: Paperback
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
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
Logic
by Wilfrid Hodges
ISBN 13: 9780141003146
Format: Paperback (304 pages) Publisher: Penguin Published: 29 Nov 2001 Other Format: Paperback
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
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
Categories for Types (Cambridge Mathematical Textbooks)
by Crole
ISBN 13: 9780521457019
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 27 Jan 1994
Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)
ISBN 13: 9780521066365
Format: Illustrated (788 pages) Publisher: Cambridge University Press Published: 19 Jun 2008
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
by Yoav Shoham,Kevin Leyton-Brown
ISBN 13: 9780521899437
Format: Illustrated (504 pages) Publisher: Cambridge University Press Published: 15 Dec 2008
Weaving Self-Evidence: A Sociology of Logic: 13 (Princeton Studies in Cultural Sociology)
by Claude Rosental,Catherine Porter
ISBN 13: 9780691139401
Format: Paperback (310 pages) Publisher: Princeton University Press Published: 14 Apr 2015