Proof Theory: The First Step into Impredicativity (Universitext)
by Wolfram Pohlers
ISBN 13: 9783540693185
Format: Illustrated (388 pages) Publisher: Springer Published: 13 Oct 2008
Save for later
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
Set Theory and its Philosophy: A Critical Introduction
by Michael Potter
ISBN 13: 9780199270415
Format: Illustrated (360 pages) Publisher: Oxford University Press, U.S.A. Published: 13 Apr 2006
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)
by Chitta Baral,Gerhard Brewka,John Schlipf
ISBN 13: 9783540721994
Format: Paperback (344 pages) Publisher: Springer Published: 27 Apr 2007
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
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 Other Format: Hardcover
Studying Mathematics and its Applications: 33 (Macmillan Study Skills)
by Peter Kahn
ISBN 13: 9780333922798
Format: Paperback (212 pages) Publisher: Palgrave Published: 31 Oct 2001
The Design Inference: Eliminating Chance through Small Probabilities (Cambridge Studies in Probability, Induction and Decision Theory)
by William A. Dembski
ISBN 13: 9780521623872
Format: Hardcover (264 pages) Publisher: Cambridge University Press Published: 13 Sep 1998
The Infinite in the Infinite
by Alistair Macintosh Wilson
ISBN 13: 9780198539506
Format: Hardcover (540 pages) Publisher: OUP Oxford Published: 26 Oct 1995
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
The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited
by Curtis Franks
ISBN 13: 9780521514378
Format: Illustrated (228 pages) Publisher: Cambridge University Press Published: 08 Oct 2009