To Mock a Mockingbird: And Other Logic Puzzles
by Raymond M. Smullyan
ISBN 13: 9780192860958
Format: Paperback (256 pages) Publisher: Oxford Paperbacks Published: Jan 1990 Other Format: Paperback
Save for later
An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy)
by N/A
ISBN 13: 9780521674539
Format: Paperback (376 pages) Publisher: Cambridge University Press Published: 26 Jul 2007
Boolean Algebra and Its Applications (Dover Books on Mathematics)
by J.Eldon Whitesitt
ISBN 13: 9780486684833
Format: Paperback (192 pages) Publisher: Dover Publications Inc. Published: Apr 1995
Codes and Automata: 129 (Encyclopedia of Mathematics and its Applications, Series Number 129)
by Jean Berstel,Dominique Perrin,Christophe Reutenauer
ISBN 13: 9780521888318
Format: Illustrated (634 pages) Publisher: Cambridge University Press Published: 05 Nov 2009
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
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)
by Wilfrid Hodges
ISBN 13: 9780521066365
Format: Illustrated (788 pages) Publisher: Cambridge University Press Published: 19 Jun 2008
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
The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)
by Kees Doets,Jan van Eijck
ISBN 13: 9780954300692
Format: Paperback (450 pages) Publisher: College Publications Published: 07 Dec 2012
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