Degrees of unsolvability - Shoenfield, Joseph R. 1927-2000 (North-Holland Publ., 1971)