Buy Used and New Mathematical Logic Books

Schaum's Outline of Boolean Algebra and Switching Circuits

by Elliott Mendelson

ISBN 13: 9780070414600

Format: Paperback (224 pages)
Publisher: McGraw Hill
Published: 16 Jan 1970

Save for later

Cryptology and Network Security: 8th International Conference, C.A.N.S. 2009, Kanazawa, Japan, December 12-14, 2009, Proceedings (Lecture Notes in Computer Science / Security and Cryptology): 5888

by Juan A. Garay, Atsuko Miyaji, Akira Otsuka

ISBN 13: 9783642104329

Format: Paperback (538 pages)
Publisher: Springer
Published: 24 Nov 2009

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

A.I. 2009: Advances in Artificial Intelligence : 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009, Proceedings: 5866 (Lecture Notes in Computer Science)

by Ann Nicholson

ISBN 13: 9783642104381

Format: Paperback (708 pages)
Publisher: Springer
Published: 09 Nov 2009

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

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

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

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

Logic For Dummies

by Zegarelli, Mark Mark Zegarelli,

ISBN 13: 9780471799412

Format: paperback
Publisher: For Dummies

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

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)

by Dexter Kozen,Carron Shankland

ISBN 13: 9783540223801

Format: Illustrated (416 pages)
Publisher: Springer
Published: 24 Jun 2004

Save for later