Buy Used and New Mathematical Logic Books

Computability: Computable Functions, Logic and the Foundations of Mathematics (Wadsworth & Brooks/Cole Mathematics Series)

by Richard .L. Epstein, Walter Alexandr Carnielli

ISBN 13: 9780534103569

Format: Hardcover (320 pages)
Publisher: Chapman and Hall/CRC
Published: 15 May 1990

Save for later

The Mathematical Olympiad Handbook: An Introduction to Problem Solving based on the First 32 British Mathematical Olympiads 1965-1996 (Oxford Science Publications)

by A. Gardiner

ISBN 13: 9780198501053

Format: Illustrated (248 pages)
Publisher: Oxford University Press, U.S.A.
Published: 11 Sep 1997

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

A Logical Journey from Godel to Philosophy (Representation and Mind)

by Hao Wang

ISBN 13: 9780262231893

Format: Hardcover (432 pages)
Publisher: MIT Press
Published: 01 Apr 1997

Save for later

Codes and Automata: 129 (Encyclopedia of Mathematics and its Applications, Series Number 129)

by Jean Berstel,Dominique Perrin,Christophe Reutenauer

ISBN 13: 9780521888318

Format: Illustrated (634 pages)
Publisher: Cambridge University Press
Published: 05 Nov 2009

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

The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)

by Kees Doets,Jan van Eijck

ISBN 13: 9780954300692

Format: Paperback (450 pages)
Publisher: College Publications
Published: 07 Dec 2012

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

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

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

Mathematical Logic

by Joseph R. Shoenfield

ISBN 13: 9781568811352

Format: Paperback (352 pages)
Publisher: Routledge
Published: 01 Jan 2001

Save for later

Argumentation Schemes

by Douglas Walton

ISBN 13: 9780521723749

Format: Illustrated (456 pages)
Publisher: Cambridge University Press
Published: 04 Aug 2008

Save for later