Литература

1. Turing A. M., On computable numbers, with an application to the Entscheidungsproblem, Proc. London, Math. Soc, Sec. Ser., 42 (1936), 230-265. On computable numbers, etc., A correction, Proc. London. Math, fioc, Sec. Ser., 43 (1937), 544-546.
2. Hilbert D., Ackermann W., Grundzuge der Theoretischen Logik, Springer, Berlin, 1928, ch. 3. (Русский перевод: Гильберт Д., Аккерма Н. В., Основы теоретической логики, ИЛ, М., 1947, гл. 3.)