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
Mathematical Olympiad Challenges
by Titu Andreescu,Razvan Gelca
ISBN 13: 9780817645281
Format: Paperback (283 pages) Publisher: Birkhauser Published: 05 Feb 2009
Model Theory with Applications to Algebra and Analysis: Volume 1 (London Mathematical Society Lecture Note Series)
by
ISBN 13: 9780521694841
Format: Paperback (350 pages) Publisher: Cambridge University Press Published: 22 May 2008
Model Theory with Applications to Algebra and Analysis: Volume 2 (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521709088
Format: Paperback (444 pages) Publisher: Cambridge University Press Published: 22 May 2008
The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (Springer Monographs in Mathematics)
by Akihiro Kanamori
ISBN 13: 9783540888666
Format: Paperback (536 pages) Publisher: Springer Published: 28 Nov 2008
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. ... Computer Science and General Issues)
ISBN 13: 9783642027765
Format: Paperback (540 pages) Publisher: Springer Published: 19 Jun 2009
Mathematical Logic (Undergraduate Texts in Mathematics)
by H.-D. Ebbinghaus,J. Flum,W. Thomas
ISBN 13: 9780387942582
Format: Illustrated (308 pages) Publisher: Springer Published: 01 Dec 1996
Game Set and Math: Enigmas and Conundrums (Dover Books on MaTHEMA 1.4tics)
by Ian Stewart
ISBN 13: 9780486458847
Format: Illustrated (208 pages) Publisher: Dover Publications Inc Published: 12 May 2007 Other Format: Paperback
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
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
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems
by Merrie Bergmann
ISBN 13: 9780521707572
Format: Illustrated (342 pages) Publisher: Cambridge University Press Published: 24 Apr 2008
A Subject With No Object: Strategies for Nominalistic Interpretation of Mathematics
by John P. Burgess,Gideon Rosen
ISBN 13: 9780198236153
Format: Hardcover (272 pages) Publisher: Clarendon Press Published: 16 Jan 1997