Degrees of unsolvability - Shoenfield, Joseph R. (Joseph Robert) , 1927- (Amsterdam : North-Holland Pub., 1972)
Keywords: Logic, Symbolic and mathematical; Recursive functions; Unsolvability (Mathematical logic)