Turing A.M. ...


Turing A.M.
[1936]
On computable numbers with an application to the Entscheidungsproblem
Proc. London Math. Soc., 42, № 3-4, 230-265, corr. 43, № 7 (1937), 544-546
~
ROS
article

Вернуться к поиску