TY - JOUR AU - Turing, Alan M. T1 - On Computable Numbers, with an Application to the Entscheidungsproblem JO - Proceedings of the London Mathematical Society PY - 1936/ VL - 2 IS - 42 SP - 230 EP - 265 UR - http://www.cs.helsinki.fi/u/gionis/cc05/OnComputableNumbers.pdf M3 - KW - computability KW - tcs KW - logic L1 - SN - N1 - N1 - AB - ER -