On Computable Numbers, with an Application to the Entscheidungsprobelm (1936)

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