Turing, A.M. (1936). “On Computable Numbers, with an Application to the
Entscheidungsproblem”. Proceedings of the London Mathematical Society. 2
(published 1937). 42: 230–265.
Liga.
Turing, A.M. (1938). “On Computable Numbers, with an Application to the
Entscheidungsproblem: A correction”. Proceedings of the London Mathematical
Society. 2 (published 1937). 43 (6): 544–6.
Liga.
Reprinted in many collections, e.g. in The Undecidable, pp. 115–154;
available on the web in many places.
O’Regan, G. (2012). Alan Turing. In: A Brief History of Computing. Springer,
London.
[
BiDi/UNAM],
[
Liga]
B. Jack Copeland ed. (2004), The Essential Turing: Seminal Writings in
Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life
plus The Secrets of Enigma, Clarendon Press (Oxford University Press),
Oxford UK.
[
Liga]