Recursive functions and intuitionistic mathematics (1950)

by S C Kleene
Venue:In Proceedings of the International Congress of Mathematicians