'On computable numbers'

AMT-B-12

Extract, 'On computable numbers, with an application to the Entscheidungsproblem' from Proceedings…