Buy Used and New Mathematical Logic Books

Conceptual Structures: Knowledge Visualization and Reasoning: 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July ... 5113 (Lecture Notes in Computer Science)

by Peter Eklund

ISBN 13: 9783540705956

Format: Paperback (328 pages)
Publisher: Springer
Published: 01 Jul 2008

Save for later

To Mock a Mockingbird

by Raymond Smullyan

ISBN 13: 9780192801425

Format: Paperback (256 pages)
Publisher: Oxford University Press
Published: 30 Nov 2000
Other Format: Paperback

Save for later

Weaving Self-Evidence: A Sociology of Logic: 13 (Princeton Studies in Cultural Sociology)

by Claude Rosental,Catherine Porter

ISBN 13: 9780691139401

Format: Paperback (310 pages)
Publisher: Princeton University Press
Published: 14 Apr 2015

Save for later

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations

by Yoav Shoham,Kevin Leyton-Brown

ISBN 13: 9780521899437

Format: Illustrated (504 pages)
Publisher: Cambridge University Press
Published: 15 Dec 2008

Save for later

Intro to Computer Theory 2e

by Daniel I. A. Cohen

ISBN 13: 9780471137726

Format: Paperback (646 pages)
Publisher: John Wiley & Sons
Published: 27 Nov 1996

Save for later

Anaphora Processing and Applications: 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings: 5847 (Lecture Notes in Computer Science)

by Lalitha Devi Sobha, António Branco, Ruslan Mitkov

ISBN 13: 9783642049743

Format: Paperback (131 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)

by Wilfrid Hodges

ISBN 13: 9780521066365

Format: Illustrated (788 pages)
Publisher: Cambridge University Press
Published: 19 Jun 2008

Save for later

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in Computer Science)

by Alexander Kurz,Marina Lenisa

ISBN 13: 9783642037405

Format: Paperback (472 pages)
Publisher: Springer
Published: 28 Aug 2009

Save for later

Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007, ... 5129 (Lecture Notes in Computer Science)

by Francesca Rossi, François Fages, Sylvain Soliman

ISBN 13: 9783540898115

Format: Paperback (159 pages)
Publisher: Springer
Published: 01 Dec 2008

Save for later

Categories for Types (Cambridge Mathematical Textbooks)

by Crole

ISBN 13: 9780521457019

Format: Paperback (356 pages)
Publisher: Cambridge University Press
Published: 27 Jan 1994

Save for later

Abel's Proof: An Essay on the Sources and Meaning of Mathematical Unsolvability (The MIT Press)

by Peter Pesic

ISBN 13: 9780262661829

Format: Illustrated (222 pages)
Publisher: MIT Press
Published: 02 Apr 2004

Save for later

Introduction to the Formal Design of Real-Time Systems (Applied Computing)

by David Gray

ISBN 13: 9783540761402

Format: Paperback (476 pages)
Publisher: Springer-Verlag
Published: 01 Nov 1998

Save for later