Buy Used and New Mathematical Logic Books

Building Models by Games

by Wilfrid Hodges

ISBN 13: 9780486450179

Format: Paperback (336 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

by Leslie Lamport

ISBN 13: 9780321143068

Format: Paperback (384 pages)
Publisher: Addison Wesley
Published: 19 Jul 2002

Save for later

How to Read and Do Proofs: An Introduction to Mathematical Thought Processes

by Daniel Solow

ISBN 13: 9780470392164

Format: Paperback (301 pages)
Publisher: John Wiley & Sons
Published: 12 Jan 2010

Save for later

Symbolic Logic and the Game of Logic (Dover Recreational Math)

by Lewis Carroll

ISBN 13: 9780486204925

Format: Paperback (335 pages)
Publisher: Dover Publications Inc.
Published: 02 Jan 2000

Save for later

Mathematical Fallacies and Paradoxes

by Bryan H. Bunch

ISBN 13: 9780486296647

Format: Paperback (224 pages)
Publisher: Dover Publications Inc.
Published: 28 Mar 2003

Save for later

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

An Investigation of the Laws of Thought

by George Boole

ISBN 13: 9781603863155

Format: Paperback (336 pages)
Publisher: Rough Draft Printing
Published: 02 Apr 2010

Save for later

To Infinity and Beyond: A Cultural History of the Infinite (Princeton Paperbacks)

by Eli Maor

ISBN 13: 9780691025117

Format: Paperback (304 pages)
Publisher: Princeton University Press
Published: 09 Jul 1991

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

Save for later

Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)

by Andrew M. Pitts Edited by Andrew D. Gordon

ISBN 13: 9780521631686

Format: Hardcover (400 pages)
Publisher: Cambridge University Press
Published: 22 Jan 1998

Save for later

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

Save for later

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

Save for later