Buy Used and New Mathematical Logic Books

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

Principia Mathematica to *56 (Cambridge Mathematical Library)

by Alfred North Whitehead, Bertrand Russell

ISBN 13: 9780521626064

Format: Paperback (460 pages)
Publisher: Cambridge University Press
Published: 11 Sep 1997

Save for later

Modeling Decision for Artificial Intelligence: 8th International Conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642225888

Format: Paperback (273 pages)
Publisher: Springer
Published: 08 Jul 2011

Save for later

Theory and Practice of Model Transformations: 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783642217319

Format: Paperback (241 pages)
Publisher: Springer
Published: 22 Jun 2011

Save for later

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783642228629

Format: Paperback (394 pages)
Publisher: Springer
Published: 02 Aug 2011

Save for later

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783642229527

Format: Paperback (386 pages)
Publisher: Springer
Published: 09 Aug 2011

Save for later

Artificial General Intelligence: 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642228865

Format: Paperback (429 pages)
Publisher: Springer
Published: 19 Jul 2011

Save for later

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783642221095

Format: Paperback (778 pages)
Publisher: Springer
Published: 05 Jul 2011

Save for later

Descriptional Complexity of Formal Systems: 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642225994

Format: Paperback (339 pages)
Publisher: Springer
Published: 18 Jul 2011

Save for later

Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642223587

Format: Paperback (398 pages)
Publisher: Springer
Published: 06 Jul 2011

Save for later

Knowledge Processing and Data Analysis: First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007,and First International ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642221392

Format: Paperback (335 pages)
Publisher: Springer
Published: 28 Jul 2011

Save for later

Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642220449

Format: Paperback (189 pages)
Publisher: Springer
Published: 22 Jun 2011

Save for later