Buy Used and New Mathematical Logic Books

Advances in Natural Language Processing: 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540852865

Format: Paperback (512 pages)
Publisher: Springer
Published: 13 Aug 2008

Save for later

Visual Thinking in Mathematics

by Marcus Giaquinto

ISBN 13: 9780199285945

Format: Hardcover (240 pages)
Publisher: Clarendon Press
Published: 05 Jul 2007

Save for later

Advances in Case-Based Reasoning: 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540855019

Format: Paperback (632 pages)
Publisher: Springer
Published: 26 Aug 2008

Save for later

Formal Concept Analysis: 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783642119279

Format: Paperback (352 pages)
Publisher: Springer
Published: 18 Feb 2010

Save for later

Incompleteness in the Land of Sets (Studies in Logic)

by M. Fitting

ISBN 13: 9781904987345

Format: Paperback (156 pages)
Publisher: College Publications
Published: 19 Feb 2007

Save for later

Foundations of the Formal Sciences: v. 4: The History of the Concept of the Formal Sciences (Studies in Logic (logic & Cognitive Systems))

by

ISBN 13: 9781904987291

Format: Paperback (300 pages)
Publisher: College Publications
Published: 05 Dec 2006

Save for later

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540878025

Format: Paperback (429 pages)
Publisher: Springer
Published: 19 Sep 2008

Save for later

Gödel's Proof

by Ernest Nagel,James R. Newman,Douglas R. Hofstadter

ISBN 13: 9780814758373

Format: Paperback (160 pages)
Publisher: NYU Press
Published: 01 Oct 2008

Save for later

Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)

by Chin-Liang Chang,Richard Char-Tung Lee

ISBN 13: 9780121703509

Format: Illustrated (331 pages)
Publisher: Academic Press
Published: 15 Jun 1973

Save for later

The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)

by Kees Doets,Jan van Eijck

ISBN 13: 9780954300692

Format: Paperback (450 pages)
Publisher: College Publications
Published: 07 Dec 2012

Save for later

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)

by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott

ISBN 13: 9783540719403

Format: Paperback (797 pages)
Publisher: Springer
Published: 20 Jul 2007

Save for later

Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783642005954

Format: Paperback (471 pages)
Publisher: Springer
Published: 09 Mar 2009

Save for later