The Foundations of Intuitionistic Mathematics
The Review of Metaphysics 19 (1):154-155 (1965)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesStephen Cole Kleene (1965). The Foundations of Intuitionistic Mathematics. Amsterdam, North-Holland Pub. Co..
Frank Waaldijk (2005). On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions. Foundations of Science 10 (3).
Wenceslao J. Gonzalez (1991). Intuitionistic Mathematics and Wittgenstein. History and Philosophy of Logic 12 (2):167-183.
Neil Tennant (1994). Intuitionistic Mathematics Does Not Needex Falso Quodlibet. Topoi 13 (2):127-133.
Frank Plumpton Ramsey (1960). The Foundations of Mathematics and Other Logical Essays. Paterson, N.J.,Littlefield, Adams.
Paolo Mancosu (ed.) (1998). From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s. Oxford University Press.
M. Hartimo (2012). Husserl's Pluralistic Phenomenology of Mathematics. Philosophia Mathematica 20 (1):86-110.
Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. I. Studia Logica 64 (3):323-344.
Michael A. E. Dummett (1974). Intuitionistic Mathematics and Logic. Mathematical Institute.
Edward N. Zalta (2007). Reflections on Mathematics. In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
A. S. Troelstra (1975). Axioms for Intuitionistic Mathematics Incompatible with Classical Logic. Mathematisch Instituut.
Cecylia Rauszer (1980). An Algebraic and Kripke-Style Approach to a Certain Extension of Intuitionistic Logic. [Available From Ars Polona].
Daniel Maurice Raphaël Leivant (1979). Absoluteness of Intuitionistic Logic. Mathematisch Centrum.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-03-18Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
