There's Something About Godel!: The Complete Guide to the Incompleteness Theorem
by BERTO
ISBN 13: 9781405197663
Format: Illustrated (256 pages) Publisher: John Wiley & Sons Published: 06 Nov 2009 Other Format: Paperback
Save for later
An Introduction to the Relativistic Theory of Gravitation (Lecture Notes in Physics): 750
by Frank Meyer, Petr Hajicek, Jan Metzger
ISBN 13: 9783540786580
Format: Hardcover (280 pages) Publisher: Springer Published: 26 Aug 2008
The Mathematician's Mind: The Psychology of Invention in the Mathematical Field (Princeton Science Library)
by Jacques Hadamard
ISBN 13: 9780691029313
Format: Paperback (168 pages) Publisher: Princeton University Press Published: 30 Sep 1996
Convex Sets and Their Applications
by Steven R. Lay
ISBN 13: 9780486458038
Format: Paperback (256 pages) Publisher: Dover Publications Inc. Published: 29 Jun 2007
From the Calculus to Set Theory 1630-1910: An Introductory History (Princeton Paperbacks)
by
ISBN 13: 9780691070827
Format: Paperback (306 pages) Publisher: Princeton University Press Published: 20 Nov 2000
The Evolution of Logic (The Evolution of Modern Philosophy)
by W. D. Hart
ISBN 13: 9780521766814
Format: Hardcover (312 pages) Publisher: Cambridge University Press Published: 30 Aug 2010 Other Format: Paperback
Handbook of Automated Reasoning: Vol 1
ISBN 13: 9780444829498
Format: Hardcover (996 pages) Publisher: North Holland Published: 21 Jun 2001
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
by Richard W. Kaye
ISBN 13: 9780521708777
Format: Paperback (216 pages) Publisher: Cambridge University Press Published: 12 Jul 2007
Logic for Mathematicians
by J Barkley, JR. Rosser
ISBN 13: 9780486468983
Format: Paperback (592 pages) Publisher: Dover Publications Inc. Published: 27 Mar 2009
Argumentation Schemes
by Douglas Walton
ISBN 13: 9780521723749
Format: Illustrated (456 pages) Publisher: Cambridge University Press Published: 04 Aug 2008 Other Format: Hardcover
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
by W. Bibel, P.H. Schmitt
ISBN 13: 9780792351306
Format: Hardcover (448 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover, Illustrated
Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation)
by Bernd Sturmfels,Peter Paule
ISBN 13: 9783211774168
Format: Illustrated (204 pages) Publisher: Springer Published: 28 Apr 2008