A. M Turing (1936-1937)
On Computable Numbers, with an Application to the Entscheidungsproblem
In: Proc. London Maths. Soc., ser. 2, vol. 42, pp. 230-265.
Document Actions
A. M Turing (1936-1937)
In: Proc. London Maths. Soc., ser. 2, vol. 42, pp. 230-265.
Document Actions