On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction

Annual Review in Automatic Programming ◽

10.1016/b978-0-08-009217-1.50025-6 ◽

1960 ◽

pp. 265-267 ◽

Author(s):

A.M. TURING

Download Full-text