Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
by Leonid Libkin
ISBN 13: 9783540212027
Format: Hardcover (318 pages) Publisher: Springer Published: 02 Jul 2004
Save for later
Kurt Gödel: Collected Works: Volume III: Unpublished Essays and Lectures: Unpublished Essays and Lectures Vol 3 (Collected Works (Oxford))
by Kurt Gödel
ISBN 13: 9780195147223
Format: Paperback (560 pages) Publisher: OUP USA Published: 28 Jun 2001
Homology (Classics in Mathematics)
by Saunders MacLane
ISBN 13: 9783540586623
Format: Paperback (422 pages) Publisher: Springer Published: 15 Feb 1995
Introduction to Set Theory (Pure and Applied Mathematics)
by Karel Hrbacek,Thomas Jech
ISBN 13: 9780824779153
Format: Hardcover (310 pages) Publisher: CRC Press Published: 22 Jun 1999
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
Logicism, Intuitionism, and Formalism: What Has Become of Them?: 341 (Synthese Library)
by Sten Lindström,Erik Palmgren,Krister Segerberg
ISBN 13: 9781402089251
Format: Illustrated (528 pages) Publisher: Springer Published: 02 Dec 2008
Cryptographic Boolean Functions and Applications,
by Thomas W. Cusick
ISBN 13: 9780123748904
Format: Illustrated (250 pages) Publisher: Academic Press Published: 21 Apr 2009
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems (Dover Books on MaTHEMA 1.4tics)
by Kurt Godel
ISBN 13: 9780486669809
Format: Paperback (80 pages) Publisher: Dover Publications Inc Published: 01 Apr 1992
Toposes and Local Set Theories: An Introduction (Dover Books on Mathematics)
by J L Bell
ISBN 13: 9780486462868
Format: Paperback (288 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
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
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