Buy Used and New Mathematical Logic Books

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

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

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

by Alan P. Parkes

ISBN 13: 9781852334642

Format: Paperback (304 pages)
Publisher: Springer
Published: 26 Apr 2002

Save for later

The Incompleteness Phenomenon

by Martin Goldstern,Haim Judah

ISBN 13: 9781568810294

Format: Hardcover (218 pages)
Publisher: A K Peters/CRC Press
Published: 15 Jun 1995

Save for later

Inconsistent Geometry

by Chris Mortensen

ISBN 13: 9781848900226

Format: Paperback (174 pages)
Publisher: College Publications
Published: 15 Oct 2010

Save for later

Visual Cryptography and Secret Image Sharing (Digital Imaging and Computer Vision)

by

ISBN 13: 9781439837214

Format: Hardcover (545 pages)
Publisher: CRC Press
Published: 16 Sep 2011

Save for later

The Nature of Computation

by Cristopher Moore, Stephan Mertens

ISBN 13: 9780199233212

Format: Hardcover (1032 pages)
Publisher: OUP Oxford
Published: Jun 2011

Save for later

Stat Labs: Mathematical Statistics Through Applications (Springer Texts in Statistics)

by Deborah Nolan,Terry P. Speed

ISBN 13: 9780387989747

Format: Illustrated (301 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later