S. C. Kleene. On the interpretation of intuitionistic number theory. The journal of symbolic logic, vol. 10 (1945), pp. 109–124.
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):