Oxford University Press (1977)

Abstract
This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics, for example Brouwer's proof of the Bar Theorem, valuation systems, and the completeness of intuitionistic first-order logic, have been completely revised.
Keywords Intuitionistic mathematics
Categories (categorize this paper)
Reprint years 2000
Buy this book $250.00 new   $297.02 used   Amazon page
Call number QA9.47.D84 2000
ISBN(s) 9780198505242   0198505248   0198531583
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,750
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford University Press.
Logical Pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.
Logic, Metalogic and Neutrality.Timothy Williamson - 2013 - Erkenntnis 79 (Suppl 2):211-231.
Expression for Expressivists.Mark Schroeder - 2008 - Philosophy and Phenomenological Research 76 (1):86–116.

View all 157 citations / Add more citations

Similar books and articles

DUMMETT, MICHAEL: "Elements of Intuitionism". [REVIEW]Peter Eggenberger - 1980 - British Journal for the Philosophy of Science 31:299.
Intuitionism.David Kaspar - 2012 - Continuum.
M. DUMMETT "Elements of Intuitionism".C. J. Posy - 1983 - History and Philosophy of Logic 4 (1):83.
Intuitionism, Meaning Theory and Cognition.Richard Tieszen - 2000 - History and Philosophy of Logic 21 (3):179-194.
Essay Review.Carl J. Posy - 1983 - History and Philosophy of Logic 4 (1-2):83-90.
Non-Inferential Moral Knowledge.Elizabeth Tropman - 2011 - Acta Analytica 26 (4):355-366.
Renewing Moral Intuitionism.Elizabeth Tropman - 2009 - Journal of Moral Philosophy 6 (4):440-463.
Intuitionism.Anthony Skelton - 2013 - In James Crimmins (ed.), Bloomsbury Encyclopedia of Utilitarianism. Bloomsbury Academic.
Comment on David Kaspar's Intuitionism.Moti Mizrahi - 2015 - Reason Papers 37 (2):26-35.
Idealist and Pragmatist Elements of Intuitionism.G. Lohrer - 2000 - Philosophisches Jahrbuch 107 (2):358-381.

Analytics

Added to PP index
2009-01-28

Total views
290 ( #30,575 of 2,438,667 )

Recent downloads (6 months)
3 ( #209,179 of 2,438,667 )

How can I increase my downloads?

Downloads

My notes