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
Save for later
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)
by
ISBN 13: 9783642027765
Format: Paperback (540 pages) Publisher: Springer Published: 19 Jun 2009
Complexity and Real Computation
by Lenore Blum,Felipe Cucker,Michael Shub,Steve Smale
ISBN 13: 9780387982816
Format: Hardcover (453 pages) Publisher: Springer Published: 01 Nov 1997
Mathematical Logic: A First Course (Dover Books on Mathematics)
by Joel W Robbin
ISBN 13: 9780486450186
Format: Paperback (224 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Introduction to the Theory of Sets (Dover Books on Mathematics)
by Joseph Breuer
ISBN 13: 9780486453101
Format: Paperback (128 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Undecidable Theories (Dover Books on Mathematics)
by Alfred Tarski
ISBN 13: 9780486477039
Format: Paperback (112 pages) Publisher: Dover Publications Inc. Published: 24 Sep 2010
First European Congress of Mathematics Paris, July 6-10, 1992: Vol.I: Invited Lectures (Part 1): Invited Lectures Vol 1 (Progress in Mathematics)
ISBN 13: 9783764327989
Format: Hardcover (610 pages) Publisher: Birkhauser Published: 01 Jul 1994
Mathematics and Reality
by Mary Leng
ISBN 13: 9780199280797
Format: Hardcover (256 pages) Publisher: OUP Oxford Published: 22 Apr 2010
Theories of Computability
by Nicholas Pippenger
ISBN 13: 9780521153430
Format: Paperback (264 pages) Publisher: Cambridge University Press Published: 10 Jun 2010
Wittgenstein, Finitism, and the Foundations of Mathematics (Oxford Philosophical Monographs)
by Mathieu Marion
ISBN 13: 9780199550470
Format: Paperback (280 pages) Publisher: OUP Oxford Published: 07 Aug 2008
Logic Colloquium 2000: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Paris, France July 23-31, 2000 (Lecture Notes in Logic)
ISBN 13: 9781568812526
Format: Paperback (424 pages) Publisher: A K Peters/CRC Press Published: 25 Apr 2005
Topics in Topological Graph Theory (Encyclopedia of Mathematics and its Applications)
ISBN 13: 9780521802307
Format: Hardcover (366 pages) Publisher: Cambridge University Press Published: 09 Jul 2009