Graduate studies at Western
Oxford University Press (2000)
|Abstract||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||$100.00 used (50% off) $181.28 new (9% off) $189.05 direct from Amazon (5% off) Amazon page|
|Call number||QA9.47.D84 2000|
|Through your library||Configure|
Similar books and articles
Richard L. Tieszen (2005). Phenomenology, Logic, and the Philosophy of Mathematics. Cambridge University Press.
L. E. J. Brouwer (1981). Brouwer's Cambridge Lectures on Intuitionism. Cambridge University Press.
Frank Waaldijk (2005). On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions. Foundations of Science 10 (3):249-324.
Michael A. E. Dummett (1974). Intuitionistic Mathematics and Logic. Mathematical Institute.
G. E. Mint͡s (2000). A Short Introduction to Intuitionistic Logic. Kluwer Academic / Plenum Publishers.
Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) (2009). Logicism, Intuitionism, and Formalism - What has Become of Them? Springer.
Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. I. Erkenntnis 64 (1-2):323-344.
Enrico Martino (1998). Negationless Intuitionism. Journal of Philosophical Logic 27 (2):165-177.
Neil Tennant (1994). Intuitionistic Mathematics Does Not Needex Falso Quodlibet. Topoi 13 (2):127-133.
Wenceslao J. Gonzalez (1991). Intuitionistic Mathematics and Wittgenstein. History and Philosophy of Logic 12 (2):167-183.
Added to index2009-01-28
Total downloads158 ( #3,022 of 740,333 )
Recent downloads (6 months)6 ( #14,992 of 740,333 )
How can I increase my downloads?