Computability and λ-definability (1937)

by A M Turing
Venue:Journal of Symbolic Logic