Buy Used and New Mathematical Logic Books

Development in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783642223204

Format: Paperback (490 pages)
Publisher: Springer
Published: 12 Jul 2011

Save for later

The Strength of Nonstandard Analysis

by

ISBN 13: 9783211998922

Format: Paperback (421 pages)
Publisher: Springer
Published: 13 Oct 2010

Save for later

Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642229923

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

Save for later

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocaw, Poland, July 31 -- August 5, 2011, Proceedings: 23rd ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642224379

Format: Paperback (521 pages)
Publisher: Springer
Published: 12 Jul 2011

Save for later

Philosophy of Logic (Routledge Revivals)

by Hilary Putnam

ISBN 13: 9780415581257

Format: Paperback (86 pages)
Publisher: Routledge
Published: 31 Aug 2011
Other Format: Hardcover

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

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