Buy Used and New Mathematical Foundations Books

First-Order Modal Logic: 277 (Synthese Library, 277)

by M. Fitting,Richard L. Mendelsohn

ISBN 13: 9780792353355

Format: Illustrated (304 pages)
Publisher: Springer
Published: 31 Aug 1999

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

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

An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems

by Merrie Bergmann

ISBN 13: 9780521707572

Format: Illustrated (342 pages)
Publisher: Cambridge University Press
Published: 24 Apr 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

Additive Cellular Automata Vol 1: Theory and Applications (Practitioners)

by Parimal Pal Chaudhuri

ISBN 13: 9780818677175

Format: Illustrated (368 pages)
Publisher: John Wiley & Sons
Published: 27 Jun 1997

Save for later

Forcing with Random Variables and Proof Complexity (London Mathematical Society Lecture Note Series)

by Jan Krajíek

ISBN 13: 9780521154338

Format: Paperback (264 pages)
Publisher: Cambridge University Press
Published: 23 Dec 2010

Save for later

Computability Theory: An Introduction to Recursion Theory

by Herbert B. Enderton

ISBN 13: 9780123849588

Format: Hardcover (192 pages)
Publisher: Academic Press
Published: 30 Dec 2010

Save for later

Categories and Commutative Algebra: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna ... 11-21,1971 (C.I.M.E. Summer Schools)

by

ISBN 13: 9783642109782

Format: Paperback (338 pages)
Publisher: Springer
Published: 30 Nov 2010

Save for later