Computability theory an introduction - Jones, Neil D. 1941- (Academic Pr., 1973)