Buy Used and New Mathematical Logic Books

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

by Torkel Franzén

ISBN 13: 9781568812380

Format: Paperback (182 pages)
Publisher: Routledge
Published: 06 Jun 2005

Save for later

Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II): A Course with Exercises Part II: ... Godel's Theorems, Set Theory, Model Theory

by Rene Cori,Donald H. Pelletier,Daniel Lascar

ISBN 13: 9780198500506

Format: Paperback (352 pages)
Publisher: Oxford University Press, USA
Published: 12 Apr 2001

Save for later

Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153

by Dov M. Gabbay,Dimitrij Skvortsov,Valentin Shehtman

ISBN 13: 9780444520128

Format: Illustrated (640 pages)
Publisher: Elsevier Science
Published: 09 Jun 2009

Save for later

An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems

by Merrie Bergmann

ISBN 13: 9780521881289

Format: Hardcover (342 pages)
Publisher: Cambridge University Press
Published: 14 Jan 2008
Other Format: Illustrated

Save for later

Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I: Cabal Seminar v. 1 (Lecture Notes in Logic)

by Alexander S. Kechris, Benedikt Löwe, John R. Steel

ISBN 13: 9780521899512

Format: Hardcover (460 pages)
Publisher: Cambridge University Press
Published: 15 Sep 2008

Save for later

Sets of Multiples: 118 (Cambridge Tracts in Mathematics, Series Number 118)

by Richard R. Hall

ISBN 13: 9780521404242

Format: Hardcover (284 pages)
Publisher: Cambridge University Press
Published: 10 Oct 1996

Save for later

Schaum's Outline of Boolean Algebra and Switching Circuits

by Elliott Mendelson

ISBN 13: 9780070414600

Format: Paperback (224 pages)
Publisher: McGraw Hill
Published: 16 Jan 1970

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

First-order Logic (Dover Books on MaTHEMA 1.4tics)

by Raymond M. Smullyan

ISBN 13: 9780486683706

Format: Paperback (176 pages)
Publisher: Dover Publications Inc
Published: 01 Apr 1995

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

Theoretical and Experimental DNA Computation (Natural Computing Series)

by Martyn Amos

ISBN 13: 9783540657736

Format: Hardcover (186 pages)
Publisher: Springer
Published: 23 Jun 2005

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