Buy Used and New Mathematical Logic Books

The Axiom of Choice (Dover Books on Mathematics)

by Thomas J Jech

ISBN 13: 9780486466248

Format: Illustrated (224 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

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

There's Something About Godel!: The Complete Guide to the Incompleteness Theorem

by Francesco Berto

ISBN 13: 9781405197670

Format: Paperback (254 pages)
Publisher: Wiley-Blackwell
Published: 06 Nov 2009
Other Format: Illustrated

Save for later

Numbers & Proofs (Modular Mathematics Series)

by R. B. J. T. Allenby

ISBN 13: 9780340676530

Format: Paperback (288 pages)
Publisher: Butterworth-Heinemann
Published: 26 Sep 1997

Save for later

Brouwer Meets Husserl: On the Phenomenology of Choice Sequences (Synthese Library): 335

by Mark van Atten

ISBN 13: 9781402050862

Format: Hardcover (206 pages)
Publisher: Springer
Published: 09 Nov 2006

Save for later

Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)

by D.L. Johnson

ISBN 13: 9783540761235

Format: Paperback (198 pages)
Publisher: Springer
Published: 27 Feb 1998

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

Argumentation Schemes

by Douglas Walton, Christopher Reed, Fabrizio Macagno

ISBN 13: 9780521897907

Format: Hardcover (436 pages)
Publisher: Cambridge University Press
Published: 04 Aug 2008
Other Format: Illustrated

Save for later

Logic for Mathematicians

by A. G. Hamilton

ISBN 13: 9780521368650

Format: Paperback (238 pages)
Publisher: Cambridge University Press
Published: 29 Sep 1988

Save for later