Buy Used and New Mathematical Logic Books

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

Transactions on Rough Sets X (Lecture Notes in Computer Science / Transactions on Rough Sets): 5656

by James F. Peters

ISBN 13: 9783642032806

Format: Paperback (288 pages)
Publisher: Springer
Published: 04 Aug 2009

Save for later

A Set Theory Workbook

by Iain Adamson

ISBN 13: 9780817640286

Format: Paperback (164 pages)
Publisher: Birkhäuser
Published: 18 Dec 1997

Save for later

Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised ... 5605 (Lecture Notes in Computer Science)

by John-Jules Charles Meyer, Jan M. Broersen

ISBN 13: 9783642053009

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

Save for later

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

Combinatorics and Graph Theory (Undergraduate Texts in Mathematics)

by John Harris,Jeffry L. Hirst,Michael Mossinghoff

ISBN 13: 9780387797106

Format: Illustrated (396 pages)
Publisher: Springer
Published: 04 Nov 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

Modern Logic: A Text in Elementary Symbolic Logic

by Graeme Forbes

ISBN 13: 9780195080292

Format: Paperback (416 pages)
Publisher: OUP USA
Published: 07 Apr 1994

Save for later