Buy Used and New Mathematical Logic Books

Argumentation Schemes

by Douglas Walton

ISBN 13: 9780521723749

Format: Illustrated (456 pages)
Publisher: Cambridge University Press
Published: 04 Aug 2008

Save for later

Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and ... 5056 (Lecture Notes in Computer Science)

by Fariba Sadri

ISBN 13: 9783540888321

Format: Paperback (312 pages)
Publisher: Springer
Published: 23 Oct 2008

Save for later

The Notre Dame Lectures: Lecture Notes in Logic, 18

by Peter Cholak

ISBN 13: 9781568812496

Format: Illustrated (200 pages)
Publisher: A K Peters/CRC Press
Published: 23 Jun 2005

Save for later

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)

by Martin Hofmann

ISBN 13: 9783540403326

Format: Illustrated (332 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

A Beginner's Guide to Graph Theory

by W.D. Wallis

ISBN 13: 9780817644840

Format: Paperback (280 pages)
Publisher: Birkhauser
Published: 04 Jul 2007

Save for later

Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)

by Antoine Joux

ISBN 13: 9781420070026

Format: Hardcover (519 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Jun 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