On computable numbers, with an application to the Entscheidungsproblem. A correction.

From MaRDI portal
Publication:2603364