On computable numbers, with an application to the Entscheidungsproblem

Views
Personal tools
Toolbox