On Computable Numbers, with an Application to the Entscheidungsproblem

   Info_icon.svg       BibTeX_logo.svg   
Alan Mathison Turing
Proceedings of the London Mathematical Society s2-42(1), pages 230–265
1937
journal or series
Journal_icon.svg Proceedings of the London Mathematical Society (PLMS)