Vol. 759. Epstein, Richard L. 
Degrees of unsolvability : structure and theory 
QA9.63 E67