Review of Turing (1936 (1937)

by A Church
Venue:Journal of Symbolic Logic