On computable numbers : with an application to the Entscheidungsproblem
Article, English, 1936
Mathematical Society, London, 1936
Proceedings of the London Mathematical Society.
2 parts (pages 230-265) ; 26 cm
18386775
Caption title
Discusses his universal computing machine
Pagination continuous between parts