On Computable Numbers, with an Application to the Entscheidungsproblem

Views
Personal tools
Toolbox