Buy Used and New Mathematical Logic Books

Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540559306

Format: Paperback (324 pages)
Publisher: Springer
Published: 25 Aug 1992

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

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

Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540280606

Format: Paperback (293 pages)
Publisher: Springer
Published: 20 Jul 2005

Save for later

AI*IA 2005: Advances in Artificial Intelligence: 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540290414

Format: Paperback (628 pages)
Publisher: Springer
Published: 12 Sep 2005

Save for later

Natural Language Processing - IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540291725

Format: Paperback (1052 pages)
Publisher: Springer
Published: 30 Sep 2005

Save for later

Theory of Recursive Functions and Effective Computability

by Rogers,Howard Poizner,Edward S. Klima,Ursula Bellugi

ISBN 13: 9780262680523

Format: Paperback (504 pages)
Publisher: MIT Press
Published: 01 Jan 1987

Save for later

Naive Set Theory (Undergraduate Texts in Mathematics)

by P. R. Halmos

ISBN 13: 9780387900926

Format: Hardcover (111 pages)
Publisher: Springer
Published: 24 Oct 1974

Save for later

Mathematical Logic (Undergraduate Texts in Mathematics)

by H.-D. Ebbinghaus,J. Flum,W. Thomas

ISBN 13: 9780387942582

Format: Illustrated (308 pages)
Publisher: Springer
Published: 01 Dec 1996

Save for later

Logic from Russell to Church: 5 (Handbook of the History of Logic)

by Gabbay

ISBN 13: 9780444516206

Format: Hardcover (950 pages)
Publisher: North Holland
Published: 17 Jun 2009

Save for later

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

by Torkel Franzén

ISBN 13: 9781568812380

Format: Paperback (182 pages)
Publisher: Routledge
Published: 06 Jun 2005

Save for later

Referential Opacity and Modal Logic (Studies in Philosophy)

by N/A

ISBN 13: 9780415998444

Format: Paperback (200 pages)
Publisher: Routledge
Published: 07 Dec 2009

Save for later