On Computable Numbers, with an Application to the Entscheidungsproblem

   page       BibTeX_logo.png       attach   
Alan Mathison Turing
Proceedings of the London Mathematical Society s2-42(1), pages 230–265
1937
journal or series
book Proceedings of the London Mathematical Society (PLMS)