Buy Used and New Mathematical Logic Books

Classical Mathematical Logic: The Semantic Foundations of Logic

by Richard L. Epstein

ISBN 13: 9780691123004

Format: Hardcover (544 pages)
Publisher: Princeton University Press
Published: 03 Jul 2006

Save for later

Subsystems of Second Order Arithmetic (Perspectives in Logic)

by Stephen G. Simpson

ISBN 13: 9780521884396

Format: Hardcover (464 pages)
Publisher: Cambridge University Press
Published: 29 May 2009

Save for later

Elementary Induction on Abstract Structures (Dover Books on Mathematics)

by Yiannis N Moschovakis

ISBN 13: 9780486466781

Format: Paperback (240 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

Higher Topos Theory (AM-170) (Annals of Mathematics Studies) (Annals of Mathematics Studies, 170)

by Jacob Lurie

ISBN 13: 9780691140490

Format: Paperback (944 pages)
Publisher: Princeton University Press
Published: 06 Jul 2009

Save for later

Introduction to Boolean Algebras (Undergraduate Texts in Mathematics)

by Steven Givant,Paul Halmos

ISBN 13: 9780387402932

Format: Illustrated (588 pages)
Publisher: Springer
Published: 03 Feb 2009

Save for later

Completeness and Reduction in Algebraic Complexity Theory (Algorithms and Computation in Mathematics): 7

by Peter Bürgisser

ISBN 13: 9783540667520

Format: Illustrated (186 pages)
Publisher: Springer
Published: 21 Jun 2000

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

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