Buy Used and New Mathematical Logic Books

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

Logic DeMYSTiFied

by Tony Boutelle,Stan Gibilisco

ISBN 13: 9780071701280

Format: Paperback (394 pages)
Publisher: McGraw-Hill Professional
Published: 01 Nov 2010

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

Elementary Induction on Abstract Structures (Dover Books on Mathematics)

by Yiannis N Moschovakis

ISBN 13: 9780486466781

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

Save for later

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

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

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

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

How to Prove It: A Structured Approach

by Daniel J. Velleman

ISBN 13: 9780521675994

Format: Paperback (384 pages)
Publisher: Cambridge University Press
Published: 16 Jan 2006

Save for later