The Foundations of Intuitionistic Mathematics
Amsterdam, North-Holland Pub. Co. (1965)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Intuitionistic mathematics Recursive functions | |||||||||
| Categories | ||||||||||
| Call number | QA9.K648 | |||||||||
| ISBN(s) | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
M. Hartimo (2012). Husserl's Pluralistic Phenomenology of Mathematics. Philosophia Mathematica 20 (1):86-110.
A. S. Troelstra (1975). Axioms for Intuitionistic Mathematics Incompatible with Classical Logic. Mathematisch Instituut.
Stewart Shapiro (ed.) (1985). Intentional Mathematics. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
Michael A. E. Dummett (1974). Intuitionistic Mathematics and Logic. Mathematical Institute.
Zlatan Damnjanovic (1995). Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. Journal of Symbolic Logic 60 (4):1208-1241.
Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. I. Studia Logica 64 (3):323-344.
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.
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-09-15Total downloads0Recent downloads (6 months)0How can I increase my downloads? |

