Review of A M Turing (1936) “On computable numbers (1937)

by A Church
Venue:Journal of Symbolic Logic