Buy Used and New Mathematical Logic Books

Game Set and Math: Enigmas and Conundrums (Dover Books on MaTHEMA 1.4tics)

by Ian Stewart

ISBN 13: 9780486458847

Format: Illustrated (208 pages)
Publisher: Dover Publications Inc
Published: 12 May 2007
Other Format: Paperback

Save for later

Gödel's Proof

by Ernest Nagel,James R. Newman,Douglas R. Hofstadter

ISBN 13: 9780814758373

Format: Paperback (160 pages)
Publisher: NYU Press
Published: 01 Oct 2008
Other Format: Hardcover

Save for later

Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)

by Chin-Liang Chang,Richard Char-Tung Lee

ISBN 13: 9780121703509

Format: Illustrated (331 pages)
Publisher: Academic Press
Published: 15 Jun 1973

Save for later

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)

by Martin Hofmann

ISBN 13: 9783540403326

Format: Illustrated (332 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

The Notre Dame Lectures: Lecture Notes in Logic, 18

by Peter Cholak

ISBN 13: 9781568812496

Format: Illustrated (200 pages)
Publisher: A K Peters/CRC Press
Published: 23 Jun 2005

Save for later

Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)

by Antoine Joux

ISBN 13: 9781420070026

Format: Hardcover (519 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Jun 2009

Save for later

Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)

by Robert Goldblatt

ISBN 13: 9780486450261

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

Save for later

The Rise of Modern Logic: from Leibniz to Frege (Handbook of the History of Logic)

by

ISBN 13: 9780444516114

Format: Hardcover (780 pages)
Publisher: North Holland
Published: 08 Mar 2004

Save for later

Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)

by Roberto M. Amadio,Pierre-Louis Curien

ISBN 13: 9780521622776

Format: Hardcover (504 pages)
Publisher: Cambridge University Press
Published: 02 Jul 1998

Save for later

Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics (Mathematics and Its Applications)

by D. Dikranjan,Walter Tholen

ISBN 13: 9780792337720

Format: Hardcover (376 pages)
Publisher: Springer
Published: 31 Oct 1995

Save for later

First Steps in Modal Logic

by Sally Popkorn

ISBN 13: 9780521057936

Format: Paperback (332 pages)
Publisher: Cambridge University Press
Published: 28 Jan 2008

Save for later

First Order Mathematical Logic (Dover Books on Mathematics)

by Angelo Margaris

ISBN 13: 9780486662695

Format: Paperback (212 pages)
Publisher: Dover Publications Inc.
Published: 01 Oct 1990

Save for later