Kurt Gödel: Collected Works: Volume I: Publications 1929-1936: Publications 1929-1936 Vol 1 (Collected Works (Oxford))
by N/A
ISBN 13: 9780195147209
Format: Paperback (504 pages) Publisher: OUP USA Published: 05 Jul 2001 Other Format: Illustrated
Save for later
Boolean Functions and Computation Models (Texts in Theoretical Computer Science. An EATCS Series)
ISBN 13: 9783540594369
Format: Hardcover (615 pages) Publisher: Springer Published: 19 Sep 2002
Constructivism in Mathematics: v. 2: An Introduction (Studies in Logic and the Foundations of Mathematics)
by A.S. Troelstra,D.van Dalen,D. Van Dalen
ISBN 13: 9780444703583
Format: Hardcover (586 pages) Publisher: Elsevier Science Ltd Published: 01 Nov 1988
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
Referential Opacity and Modal Logic (Studies in Philosophy)
ISBN 13: 9780415998444
Format: Paperback (200 pages) Publisher: Routledge Published: 07 Dec 2009
Advanced Algebra: With a Companion Volume 'Basic Algebra' (Cornerstones)
ISBN 13: 9780817645229
Format: Hardcover (730 pages) Publisher: Birkhauser Published: 04 Dec 2007
Intermediate Logic
by David Bostock
ISBN 13: 9780198751427
Format: Paperback (404 pages) Publisher: Oxford University Press, USA Published: 09 Oct 1997
Naturalism in Mathematics
ISBN 13: 9780198250753
Format: Paperback (264 pages) Publisher: Clarendon Press Published: 29 Jun 2000
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
by Robert Goldblatt
ISBN 13: 9780486450261
Format: Paperback (576 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
The Rise of Modern Logic: from Leibniz to Frege (Handbook of the History of Logic)
by
ISBN 13: 9780444516114
Format: Hardcover (780 pages) Publisher: North Holland Published: 08 Mar 2004
104 Number Theory Problems: From the Training of the USA IMO Team
by Titu Andreescu,Dorin Andrica,Zuming Feng
ISBN 13: 9780817645274
Format: Paperback (204 pages) Publisher: Birkhauser Published: 08 Jan 2007
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)
by Roberto M. Amadio,Pierre-Louis Curien
ISBN 13: 9780521622776
Format: Hardcover (504 pages) Publisher: Cambridge University Press Published: 02 Jul 1998