TY  - JOUR
DO  - 10.1112/plms/s2-42.1.230
UR  - http://dx.doi.org/10.1112/plms/s2-42.1.230
TI  - On Computable Numbers, with an Application to the Entscheidungsproblem
T2  - Proceedings of the London Mathematical Society
AU  - Turing, A. M.
PY  - 1937
PB  - Wiley
SP  - 230-265
IS  - 1
VL  - s2-42
SN  - 0024-6115
ER  -