Recursion Theory - Shoenfield, Joseph R. (Joseph Robert) 1927- (Lecture notes in logic ;, 1993)