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
Save for later
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
A Framework for Priority Arguments (Lecture Notes in Logic)
by Manuel Lerman
ISBN 13: 9780521119696
Format: Hardcover (176 pages) Publisher: Cambridge University Press Published: 19 Apr 2010
Mathematics and the Unexpected
by Ivar Ekeland
ISBN 13: 9780226199900
Format: Paperback (160 pages) Publisher: University of Chicago Press Published: 01 Jan 1990
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming
by Christopher John Hogger,D. M. Gabbay,C. Hogger
ISBN 13: 9780198537922
Format: Illustrated (816 pages) Publisher: OUP Oxford Published: 08 Jan 1998
Letters to a Young Mathematician (Art of Mentoring) (Art of Mentoring (Paperback))
by Ian Stewart
ISBN 13: 9780465082322
Format: Paperback (224 pages) Publisher: Basic Books Published: 07 Jun 2007
Set Theory: The Third Millennium Edition, revised and expanded (Springer Monographs in Mathematics)
by Thomas Jech
ISBN 13: 9783540440857
Format: Hardcover (772 pages) Publisher: Springer Published: 18 Oct 2002
Access Control, Security and Trust: A Logical Approach (Chapman & Hall/CRC Cryptography and Network Security Series)
by Shiu-Kai Chin,Susan Beth Older
ISBN 13: 9781584888628
Format: Hardcover (351 pages) Publisher: Chapman and Hall/CRC Published: 03 Aug 2010
Undecidable Theories (Dover Books on Mathematics)
by Alfred Tarski
ISBN 13: 9780486477039
Format: Paperback (112 pages) Publisher: Dover Publications Inc. Published: 24 Sep 2010