Buy Used and New Mathematical Logic Books

Schaum's Outline of Set Theory and Related Topics

by Seymour Lipschutz

ISBN 13: 9780070381599

Format: Paperback (288 pages)
Publisher: McGraw Hill
Published: 01 Jan 1998

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

Scalable Uncertainty Management: First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540754077

Format: Paperback (277 pages)
Publisher: Springer
Published: 27 Sep 2007

Save for later

Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540671909

Format: Paperback (299 pages)
Publisher: Springer
Published: 09 Feb 2000

Save for later

Efficient Graph Rewriting and Its Implementation (Lecture Notes in Computer Science)

by Heiko Dörr

ISBN 13: 9783540600558

Format: Paperback (266 pages)
Publisher: Springer
Published: 14 Jul 1995

Save for later

Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783540278290

Format: Paperback (406 pages)
Publisher: Springer
Published: 08 Jul 2005

Save for later

Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540775027

Format: Paperback (227 pages)
Publisher: Springer
Published: 15 Jan 2008

Save for later

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540752554

Format: Paperback (914 pages)
Publisher: Springer
Published: 21 Sep 2007

Save for later

Distribution Logistics: Advanced Solutions to Practical Problems (Lecture Notes in Economics and Mathematical Systems)

by

ISBN 13: 9783540221005

Format: Paperback (294 pages)
Publisher: Springer
Published: 25 Aug 2004

Save for later

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783642125911

Format: Paperback (215 pages)
Publisher: Springer
Published: 20 Apr 2010

Save for later

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540740605

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

Save for later