Computability and -definability (1937)

by Alan M Turing
Venue:The Jounal of Symbolic Logic