Buy Used and New Mathematical Foundations Books

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

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

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

Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)

by Andrew M. Pitts Edited by Andrew D. Gordon

ISBN 13: 9780521631686

Format: Hardcover (400 pages)
Publisher: Cambridge University Press
Published: 22 Jan 1998

Save for later

Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing)

by Kofi Kissi Dompere

ISBN 13: 9783540880844

Format: Hardcover (266 pages)
Publisher: Springer
Published: 20 Mar 2009

Save for later

Theorie DES Ensembles: Éléments de Mathématique

by N Bourbaki

ISBN 13: 9783540340348

Format: Paperback (250 pages)
Publisher: Springer
Published: 01 Sep 2006

Save for later

Number Theory: An approach through history from Hammurapi to Legendre (Modern Birkhäuser Classics)

by André Weil

ISBN 13: 9780817645656

Format: Paperback (376 pages)
Publisher: Birkhauser
Published: 29 Dec 2006

Save for later

Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises: ... Calculus, Completeness Theorems Pt.1

by René Cori,Daniel Lascar

ISBN 13: 9780198500483

Format: Paperback (360 pages)
Publisher: OUP Oxford
Published: 07 Sep 2000

Save for later

Model Theory: An Introduction (Graduate Texts in Mathematics)

by David Marker

ISBN 13: 9780387987606

Format: Hardcover (360 pages)
Publisher: Springer
Published: 04 Sep 2002

Save for later