Buy Used and New Mathematical Logic Books

Axiomatic Set Theory (Dover Books on Mathematics)

by Patrick Suppes

ISBN 13: 9780486616308

Format: Paperback (288 pages)
Publisher: Dover Publications Inc.
Published: 01 May 1973

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

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

Logic, Induction and Sets (London Mathematical Society Student Texts)

by Thomas Forster

ISBN 13: 9780521533614

Format: Paperback (246 pages)
Publisher: Cambridge University Press
Published: 25 Sep 2003

Save for later

Set Theory and its Philosophy: A Critical Introduction

by Michael Potter

ISBN 13: 9780199270415

Format: Illustrated (360 pages)
Publisher: Oxford University Press, U.S.A.
Published: 13 Apr 2006

Save for later

Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)

by Chitta Baral,Gerhard Brewka,John Schlipf

ISBN 13: 9783540721994

Format: Paperback (344 pages)
Publisher: Springer
Published: 27 Apr 2007

Save for later

Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency): 5800

by Kurt Jensen

ISBN 13: 9783642048548

Format: Paperback (296 pages)
Publisher: Springer
Published: 11 Nov 2009

Save for later

Proof Theory: The First Step into Impredicativity (Universitext)

by Wolfram Pohlers

ISBN 13: 9783540693185

Format: Illustrated (388 pages)
Publisher: Springer
Published: 13 Oct 2008

Save for later

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)

by Jim Woodcock, Natarajan Shankar

ISBN 13: 9783540878728

Format: Paperback (263 pages)
Publisher: Springer
Published: 22 Sep 2008

Save for later

Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT))

by Kevin Lano

ISBN 13: 9783540199786

Format: Illustrated (436 pages)
Publisher: Springer
Published: 25 Oct 1995

Save for later

Stone Spaces: 3 (Cambridge Studies in Advanced Mathematics, Series Number 3)

by Peter T. Johnstone

ISBN 13: 9780521337793

Format: Paperback (396 pages)
Publisher: Cambridge University Press
Published: 14 Aug 1986

Save for later