journal : Proceedings of the London Mathematical Society
2 articles
Systems of Logic Based on Ordinals (article in journal, 1939) — Alan Mathison Turing On Computable Numbers, with an Application to the Entscheidungsproblem (article in journal, 1937) — Alan Mathison Turing