On computable numbers, with an application to the Entscheidungsproblem. A correction (1937)

by A M Turing
Venue:Proceedings of the London Mathematical Society, 2nd series