Oxford University Press (2000)
This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics has been completely revised for this second edition. Brouwer's proof of the Bar Theorem has been reworked, the account of valuation systems simplified, and the treatment of generalized Beth Trees and the completeness of intuitionistic first-order logic rewritten. Readers are assumed to have some knowledge of classical formal logic and a general awareness of the history of intuitionism.
|Categories||categorize this paper)|
|Buy the book||$165.30 used (24% off) $166.32 new (23% off) $204.37 direct from Amazon (5% off) Amazon page|
|Call number||QA9.47.D84 2000|
References found in this work BETA
No references found.
Citations of this work BETA
Logical Pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.
Expression for Expressivists.Mark Schroeder - 2008 - Philosophy and Phenomenological Research 76 (1):86–116.
Bounded Functional Interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
Similar books and articles
On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.
A Short Introduction to Intuitionistic Logic.G. E. Mint͡s - 2000 - Kluwer Academic / Plenum Publishers.
Logicism, Intuitionism, and Formalism - What has Become of Them?Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2009 - Springer.
A Negationless Interpretation of Intuitionistic Theories. I.Victor N. Krivtsov - 2000 - Erkenntnis 64 (1-2):323-344.
Intuitionistic Mathematics Does Not Needex Falso Quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
Added to index2009-01-28
Total downloads221 ( #15,810 of 2,143,564 )
Recent downloads (6 months)7 ( #107,220 of 2,143,564 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.