On_Computable_Numbers,_with_an_Application_to_the_Entscheidungsproblem loading ...