Buy Used and New Mathematical Foundations Books

Infinity: New Research Frontiers

by

ISBN 13: 9781107003873

Format: Hardcover (326 pages)
Publisher: Cambridge University Press
Published: 07 Feb 2011

Save for later

Interactive Decision Making: The Graph Model for Conflict Resolution: 11 (Wiley Series in Systems Engineering and Management)

by Fang,Hipel,Kilgour

ISBN 13: 9780471592372

Format: Illustrated (240 pages)
Publisher: John Wiley & Sons
Published: 26 Oct 1993

Save for later

Convex Sets and Their Applications

by Steven R. Lay

ISBN 13: 9780486458038

Format: Paperback (256 pages)
Publisher: Dover Publications Inc.
Published: 29 Jun 2007

Save for later

From the Calculus to Set Theory 1630-1910: An Introductory History (Princeton Paperbacks)

by

ISBN 13: 9780691070827

Format: Paperback (306 pages)
Publisher: Princeton University Press
Published: 20 Nov 2000

Save for later

The Evolution of Logic (The Evolution of Modern Philosophy)

by W. D. Hart

ISBN 13: 9780521766814

Format: Hardcover (312 pages)
Publisher: Cambridge University Press
Published: 30 Aug 2010
Other Format: Paperback

Save for later

Handbook of Automated Reasoning: Vol 1

by

ISBN 13: 9780444829498

Format: Hardcover (996 pages)
Publisher: North Holland
Published: 21 Jun 2001

Save for later

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

by Richard W. Kaye

ISBN 13: 9780521708777

Format: Paperback (216 pages)
Publisher: Cambridge University Press
Published: 12 Jul 2007

Save for later

Logic for Mathematicians

by J Barkley, JR. Rosser

ISBN 13: 9780486468983

Format: Paperback (592 pages)
Publisher: Dover Publications Inc.
Published: 27 Mar 2009

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

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

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

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