Buy Used and New Mathematical Logic Books

The Nature of Computation

by Cristopher Moore, Stephan Mertens

ISBN 13: 9780199233212

Format: Hardcover (1032 pages)
Publisher: OUP Oxford
Published: Jun 2011

Save for later

Architecture of Systems Problem Solving (IFSR International Series on Systems Science and Engineering)

by George J. Klir, Doug Elias

ISBN 13: 9780306473579

Format: Hardcover (354 pages)
Publisher: Springer
Published: 31 Jan 2003

Save for later

General Lattice Theory: Second edition: Volume 1: The Foundation

by George Grätzer

ISBN 13: 9783764369965

Format: Paperback (663 pages)
Publisher: Birkhauser
Published: 21 Nov 2002

Save for later

Stat Labs: Mathematical Statistics Through Applications (Springer Texts in Statistics)

by Deborah Nolan,Terry P. Speed

ISBN 13: 9780387989747

Format: Illustrated (301 pages)
Publisher: Springer
Published: 22 Feb 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