On the interpretation of intuitionistic number theory (1945)

by S C Kleene
Venue:J. Symbolic Logic