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

Views
Personal tools
Toolbox