Degrees of unsolvability - Shoenfield, Joseph R. (North-Holland Mathematics Studies,, 1971)