Turing A. M.. On computable numbers, with an application to the Entscheidungs problcm. Proceedings of the London Mathematical Society, 2 s. vol. 42 (1936–1937), pp. 230–265.
Church, AlonzoVolume:
2
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/s002248120003958x
Date:
March, 1937
File:
PDF, 166 KB
english, 1937