Buy Used and New Mathematical Foundations Books

Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540797180

Format: Paperback (305 pages)
Publisher: Springer
Published: 25 Apr 2008

Save for later

Fixing Frege (Princeton Monographs in Philosophy)

by John P. Burgess

ISBN 13: 9780691122311

Format: Hardcover (272 pages)
Publisher: Princeton University Press
Published: 05 Jul 2005

Save for later

Mathematische Logik, kurzgefaßt.: Grundlagen, Modelltheorie, Entscheidbarkeit, Mengenlehre

by Hans P. Tuschik,Helmut Wolter

ISBN 13: 9783827413871

Format: Paperback (224 pages)
Publisher: Spektrum Akademischer Verlag
Published: 31 Oct 2002

Save for later

Non-standard Analysis (Princeton Landmarks in Mathematics & Physics)

by Abraham Robinson

ISBN 13: 9780691044903

Format: Paperback (308 pages)
Publisher: Princeton University Press
Published: 08 Jan 1996

Save for later

From Frege to Godel: Mathematical Logic, 1879-1931 (Source Books in History of Sciences)

by Henry Van Heigenoort

ISBN 13: 9780674324497

Format: Paperback (680 pages)
Publisher: Harvard University Press
Published: 01 Jul 1990

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

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

Save for later

Studying Mathematics and its Applications: 33 (Macmillan Study Skills)

by Peter Kahn

ISBN 13: 9780333922798

Format: Paperback (212 pages)
Publisher: Palgrave
Published: 31 Oct 2001

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

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

Classic Set Theory (Chapman & Hall Mathematics S)

by D.C. Goldrei

ISBN 13: 9780412606106

Format: Paperback (296 pages)
Publisher: Routledge
Published: 01 Jul 1996

Save for later