Buy Used and New Mathematical Logic Books

A Concise Introduction to Mathematical Logic (Universitext)

by Wolfgang Rautenberg

ISBN 13: 9781441912206

Format: Illustrated (342 pages)
Publisher: Springer
Published: 17 Dec 2009

Save for later

Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings: 2386 (Lecture Notes in Computer Science)

by Eerke A. Boiten,Bernhard Möller

ISBN 13: 9783540438571

Format: Paperback (273 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

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

Save for later

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

AI 2008: Advances in Artificial Intelligence: 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008 ... 5360 (Lecture Notes in Computer Science)

by Wayne Wobcke

ISBN 13: 9783540893776

Format: Paperback (632 pages)
Publisher: Springer
Published: 03 Dec 2008

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

Save for later

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

Save for later

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

Save for later

mural: A Formal Development Support System: A Formal Development Support System

by C.B. Jones,B. Ritchie A.C.

ISBN 13: 9783540196518

Format: Illustrated (440 pages)
Publisher: Springer
Published: 04 Oct 2013

Save for later

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science)

by Andrea Corradini, Ugo Montanari

ISBN 13: 9783642034282

Format: Paperback (352 pages)
Publisher: Springer
Published: 07 Sep 2009

Save for later

Logic For Dummies

by Zegarelli, Mark Mark Zegarelli,

ISBN 13: 9780471799412

Format: paperback
Publisher: For Dummies

Save for later

Cellular Automata: A Discrete View of the World: 45 (Wiley Series in Discrete Mathematics & Optimization)

by Joel L. Schiff

ISBN 13: 9780470168790

Format: Hardcover (280 pages)
Publisher: Wiley-Interscience
Published: 08 Feb 2008

Save for later