Computability, Enumerability, Unsolvability

S.B. Cooper , T.A. Slaman , S.S. Wainer