Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Beeson, M.: Foundations of Constructive Mathematics. Springer, Heidelberg (1985)
2. Feferman, S.: Definedness. Erkenntnis 43, 295–320 (1995)
3. Gentzen, G.: Investigations into logical deduction. In: Szabo, M.E. (ed.) The Collected Papers of Gerhard Gentzen, pp. 68–131. North-Holland, Amsterdam (1969)
4. Kleene, S.C.: On the interpretation of intuitionistic number theory. Journal of Symbolic Logic 10, 109–124 (1945)
5. Kleene, S.C.: Introduction to Metamathematics. North Holland, Amsterdam (1952)