Turing (1936) "On computable numbers, with an application to the Entscheidungsproblem (1937)

by A M
Venue:Proc. London Math. Soc. Ser. 2 42, 230--265. Corrections