There's Something About Godel!: The Complete Guide to the Incompleteness Theorem
by Francesco Berto
ISBN 13: 9781405197670
Format: Paperback (254 pages) Publisher: Wiley-Blackwell Published: 06 Nov 2009 Other Format: Illustrated
Save for later
Numbers & Proofs (Modular Mathematics Series)
by R. B. J. T. Allenby
ISBN 13: 9780340676530
Format: Paperback (288 pages) Publisher: Butterworth-Heinemann Published: 26 Sep 1997
Proof Theory: The First Step into Impredicativity (Universitext)
by Wolfram Pohlers
ISBN 13: 9783540693185
Format: Illustrated (388 pages) Publisher: Springer Published: 13 Oct 2008
The Logical Status of Diagrams
by Sun-Joo Shin
ISBN 13: 9780521461573
Format: Hardcover (212 pages) Publisher: Cambridge University Press Published: 27 Jan 1995
Fuzzy Mathematics: Approximation Theory (Studies in Fuzziness and Soft Computing)
by George A. Anastassiou
ISBN 13: 9783642112195
Format: Hardcover (456 pages) Publisher: Springer Published: 04 Feb 2010
Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)
by D.L. Johnson
ISBN 13: 9783540761235
Format: Paperback (198 pages) Publisher: Springer Published: 27 Feb 1998
A Mathematical Introduction to Logic
by Herbert Enderton,Herbert B. Enderton
ISBN 13: 9780122384523
Format: Hardcover (317 pages) Publisher: Academic Press Published: 01 Jan 2001
Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science
by Richard Lassaigne,Michel de Rougemont
ISBN 13: 9781852335656
Format: Illustrated (376 pages) Publisher: Springer Published: 20 Jan 2004
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)
by Wolfgang Bibel,P.H. Schmitt
ISBN 13: 9780792351290
Format: Illustrated (508 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover
Zariski Geometries: Geometry from the Logician's Point of View: 360 (London Mathematical Society Lecture Note Series, Series Number 360)
by Boris Zilber
ISBN 13: 9780521735605
Format: Paperback (224 pages) Publisher: Cambridge University Press Published: 28 Feb 2010
Cryptanalysis of RSA and Its Variants (Chapman & Hall/CRC Cryptography and Network Security Series)
by M. Jason Hinek, Douglas R. Stinson
ISBN 13: 9781420075182
Format: Hardcover (272 pages) Publisher: Chapman & Hall Published: 21 Jul 2009
Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings: 3363 (Lecture Notes in Computer Science)
by Thomas Eiter,Leonid Libkin
ISBN 13: 9783540242888
Format: Paperback (424 pages) Publisher: Springer Published: 16 Dec 2004