Turing, A. M.: On Computable Numbers, with an Application to the Entscheidungsproblem. In: Proceedings of the London Mathematical Society 2 (1936), Nr. 42, S. 230-265
[Volltext]
@article{turing1936a,
author = {Turing, Alan M.},
title = {On Computable Numbers, with an Application to the Entscheidungsproblem},
journal = {Proceedings of the London Mathematical Society},
year = {1936},
volume = {2},
number = {42},
pages = {230--265},
url = {http://www.cs.helsinki.fi/u/gionis/cc05/OnComputableNumbers.pdf},
keywords = {computability, tcs, logic}
}