Computability and-Definability (1937)

by A M Turing
Venue:J. Symbolic Logic