On Computable Numbers with an Application to the Entscheidungsproblem (1936)

by M
Venue:Proceedings of the London Mathematical Society, Series