Buy Used and New Mathematical Foundations Books

Intermediate Logic

by David Bostock

ISBN 13: 9780198751427

Format: Paperback (404 pages)
Publisher: Oxford University Press, USA
Published: 09 Oct 1997

Save for later

Naturalism in Mathematics

by N/A

ISBN 13: 9780198250753

Format: Paperback (264 pages)
Publisher: Clarendon Press
Published: 29 Jun 2000

Save for later

Logic from Russell to Church: 5 (Handbook of the History of Logic)

by Gabbay

ISBN 13: 9780444516206

Format: Hardcover (950 pages)
Publisher: North Holland
Published: 17 Jun 2009

Save for later

LMS: 43 Graphs, Codes & Designs (London Mathematical Society Lecture Note Series, Series Number 43)

by P. J. Cameron

ISBN 13: 9780521231411

Format: Paperback (156 pages)
Publisher: Cambridge University Press
Published: 31 Jul 1980

Save for later

Naive Set Theory (Undergraduate Texts in Mathematics)

by P. R. Halmos

ISBN 13: 9780387900926

Format: Hardcover (111 pages)
Publisher: Springer
Published: 24 Oct 1974

Save for later

Algorithmic Composition: Paradigms of Automated Music Generation

by Gerhard Nierhaus

ISBN 13: 9783211755396

Format: Hardcover (297 pages)
Publisher: Springer
Published: 05 Nov 2008

Save for later

Mathematical Logic (Undergraduate Texts in Mathematics)

by H.-D. Ebbinghaus,J. Flum,W. Thomas

ISBN 13: 9780387942582

Format: Illustrated (308 pages)
Publisher: Springer
Published: 01 Dec 1996

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

Graphs: An Introductory Approach––A First Course in Discrete Mathematics

by Robin J. Wilson, John J. Watkins

ISBN 13: 9780471615545

Format: Hardcover (352 pages)
Publisher: John Wiley & Sons
Published: 23 May 1990
Other Format: Paperback

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

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