Recursive functions and intuitionistic mathematics (1952)

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