Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Friedman, H. [1973] Some applications of Kleene's methods for intuitionistic systems, in: Cambridge summer school in mathematical logic, Berlin (Springer-Verlag), pp. 113–170.
2. [1975] The disjunction property implies the numerical existence property, Proceedings of the National Academy of Sciences, vol. 72, no. 8, pp. 2877–2878.
3. Kleene, S.C. [1945] On the interpretation of intuitionistic number theory, J. Symbolic Logic, vol. 10, pp. 109–124.
4. [1952] Introduction to metamathematics, Amsterdam (North-Holland), Groningen (Noordhoff), New York and Toronto (Van Nostrand), x + 550 pp.
5. [1962] Disjunction and existence under implication in elementary intuitionistic formalisms, J. Symbolic Logic, vol. 27, pp. 11–18.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bibliography;Constructivism in Mathematics - An Introduction;1988
2. How to glue analysis models;Journal of Symbolic Logic;1984-12