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
Elementary Number Theory (Springer Undergraduate Mathematics Series)
by Gareth A. Jones,Josephine M. Jones
ISBN 13: 9783540761976
Format: Illustrated (316 pages) Publisher: Springer Published: 31 Jul 1998
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
Number Story: From Counting to Cryptography
by Peter Michael Higgins
ISBN 13: 9781848000001
Format: Illustrated (334 pages) Publisher: Copernicus Published: 13 Mar 2008
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
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
Philosophy of Mathematics and Natural Science
by Hermann Weyl
ISBN 13: 9780691141206
Format: Paperback (332 pages) Publisher: Princeton University Press Published: 17 May 2009
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
by Torkel Franzén
ISBN 13: 9781568812380
Format: Paperback (182 pages) Publisher: Routledge Published: 06 Jun 2005
A Mathematical Bridge: An Intuitive Journey in Higher Mathematics
by Stephen Hewson
ISBN 13: 9789812834089
Format: Illustrated (672 pages) Publisher: World Scientific Publishing Company Published: 20 Jan 2009
Where Mathematics Come From: How The Embodied Mind Brings Mathematics Into Being
by George Lakoff,Rafael Nunez
ISBN 13: 9780465037711
Format: Illustrated (512 pages) Publisher: Basic Books Published: 16 Aug 2001
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
by Ulrich Kohlenbach
ISBN 13: 9783540775324
Format: Hardcover (556 pages) Publisher: Springer Published: 26 May 2008
LMS: 108 Some Topics in Graph Thry (London Mathematical Society Lecture Note Series, Series Number 108)
by Hian Poh Yap
ISBN 13: 9780521339445
Format: Paperback (240 pages) Publisher: Cambridge University Press Published: 21 Aug 2008