Degrees of unsolvability
Shoenfield, Joseph Robert.
Amsterdam London North-Holland Publishing Co.
1971
Recursive functions.