Buy Used and New Mathematical Logic Books

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (OXFORD TEXTS IN LOGIC)

by Shawn Hedman

ISBN 13: 9780198529811

Format: Illustrated (452 pages)
Publisher: OUP Oxford
Published: 08 Jul 2004

Save for later

An Introduction to Non-Classical Logic, Second Edition: From If to Is (Cambridge Introductions to Philosophy)

by Graham Priest

ISBN 13: 9780521670265

Format: Paperback (646 pages)
Publisher: Cambridge University Press
Published: 10 Apr 2008

Save for later

Proof Theory: The First Step into Impredicativity (Universitext)

by Wolfram Pohlers

ISBN 13: 9783540693185

Format: Illustrated (388 pages)
Publisher: Springer
Published: 13 Oct 2008

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

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

Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)

by Chitta Baral,Gerhard Brewka,John Schlipf

ISBN 13: 9783540721994

Format: Paperback (344 pages)
Publisher: Springer
Published: 27 Apr 2007

Save for later

Set Theory and its Philosophy: A Critical Introduction

by Michael Potter

ISBN 13: 9780199270415

Format: Illustrated (360 pages)
Publisher: Oxford University Press, U.S.A.
Published: 13 Apr 2006

Save for later

Logic, Induction and Sets (London Mathematical Society Student Texts)

by Thomas Forster

ISBN 13: 9780521533614

Format: Paperback (246 pages)
Publisher: Cambridge University Press
Published: 25 Sep 2003

Save for later

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings: 3363 (Lecture Notes in Computer Science)

by Thomas Eiter,Leonid Libkin

ISBN 13: 9783540242888

Format: Paperback (424 pages)
Publisher: Springer
Published: 16 Dec 2004

Save for later

Cryptanalysis of RSA and Its Variants (Chapman & Hall/CRC Cryptography and Network Security Series)

by M. Jason Hinek, Douglas R. Stinson

ISBN 13: 9781420075182

Format: Hardcover (272 pages)
Publisher: Chapman & Hall
Published: 21 Jul 2009

Save for later

Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science

by Richard Lassaigne,Michel de Rougemont

ISBN 13: 9781852335656

Format: Illustrated (376 pages)
Publisher: Springer
Published: 20 Jan 2004

Save for later

Zariski Geometries: Geometry from the Logician's Point of View: 360 (London Mathematical Society Lecture Note Series, Series Number 360)

by Boris Zilber

ISBN 13: 9780521735605

Format: Paperback (224 pages)
Publisher: Cambridge University Press
Published: 28 Feb 2010

Save for later