On the interpretation of intuitionistic number theory (1945)

by Stephen Cole Kleene
Venue:Journal of Symbolic Logic