On the interpretation of intuitionistic number theory,” The (1945)

by S C Kleene
Venue:Journal of Symbolic Logic