Buy Used and New Mathematical Logic Books

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings: 4603 (Lecture Notes in Computer Science, 4603)

by Frank Pfenning

ISBN 13: 9783540735946

Format: Illustrated (536 pages)
Publisher: Springer
Published: 05 Jul 2007

Save for later

Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... (Lecture Notes in Computer Science)

by

ISBN 13: 9783540633983

Format: Paperback (425 pages)
Publisher: Springer
Published: 13 Aug 1997

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 Description Logic Handbook: Theory, Implementation and Applications

by

ISBN 13: 9780521150118

Format: Paperback (624 pages)
Publisher: Cambridge University Press
Published: 20 May 2010

Save for later

The Evolution of Logic (The Evolution of Modern Philosophy)

by W. D. Hart

ISBN 13: 9780521747721

Format: Paperback (306 pages)
Publisher: Cambridge University Press
Published: 23 Aug 2010

Save for later

Logische Grundlagen Der Mathematik (Springer-Lehrbuch)

by Ralf-Dieter Schindler

ISBN 13: 9783540959311

Format: Paperback (203 pages)
Publisher: Springer
Published: Mar 2009

Save for later

In Defence of Objective Bayesianism

by Jon Williamson

ISBN 13: 9780199228003

Format: Hardcover (200 pages)
Publisher: OUP Oxford
Published: 13 May 2010

Save for later

State of the Art in Computational Morphology: Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, ... in Computer and Information Science)

by

ISBN 13: 9783642041303

Format: Paperback (137 pages)
Publisher: Springer
Published: 28 Aug 2009

Save for later

Elementary Logic: For Software Development

by Robert Lover

ISBN 13: 9781848000810

Format: Paperback (314 pages)
Publisher: Springer
Published: 01 Sep 2008

Save for later

Comprehensive Mathematics for Computer Scientists 1: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Universitext)

by Guerino Mazzola,Gérard Milmeister,Jody Weissmann

ISBN 13: 9783540368731

Format: Paperback (388 pages)
Publisher: Springer
Published: 20 Sep 2006

Save for later

Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540738572

Format: Paperback (463 pages)
Publisher: Springer
Published: 09 Aug 2007

Save for later