Degrees of unsolvability - Shoenfield J R (London North-Holland, 1971)
Keywords: Recursion theory