Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)
by Paul J Cohen,Martin Davis
ISBN 13: 9780486469218
Format: Illustrated (192 pages) Publisher: Dover Publications Inc. Published: 27 Feb 2009
Save for later
The Axiom of Choice (Dover Books on Mathematics)
by Thomas J Jech
ISBN 13: 9780486466248
Format: Illustrated (224 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
The Logical Status of Diagrams
by Sun-Joo Shin
ISBN 13: 9780521461573
Format: Hardcover (212 pages) Publisher: Cambridge University Press Published: 27 Jan 1995
Proof Theory: The First Step into Impredicativity (Universitext)
by Wolfram Pohlers
ISBN 13: 9783540693185
Format: Illustrated (388 pages) Publisher: Springer Published: 13 Oct 2008
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
Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency): 5800
by Kurt Jensen
ISBN 13: 9783642048548
Format: Paperback (296 pages) Publisher: Springer Published: 11 Nov 2009
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
Brouwer Meets Husserl: On the Phenomenology of Choice Sequences (Synthese Library): 335
by Mark van Atten
ISBN 13: 9781402050862
Format: Hardcover (206 pages) Publisher: Springer Published: 09 Nov 2006
Handbook of Algebra,4: Volume 4
by M. Hazewinkel
ISBN 13: 9780444522139
Format: Illustrated (250 pages) Publisher: Elsevier Published: 30 May 2006
Logical Foundations of Proof Complexity (Perspectives in Logic)
by Stephen Cook,Phuong Nguyen
ISBN 13: 9780521517294
Format: Illustrated (496 pages) Publisher: Cambridge University Press Published: 25 Jan 2010
Converging Realities: Toward a Common Philosophy of Physics and Mathematics
by Roland Omnès
ISBN 13: 9780691115306
Format: Hardcover (284 pages) Publisher: Princeton University Press Published: 29 Nov 2004
Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)
by Andrew M. Pitts Edited by Andrew D. Gordon
ISBN 13: 9780521631686
Format: Hardcover (400 pages) Publisher: Cambridge University Press Published: 22 Jan 1998