Degrees of unsolvability : structure and theory - Epstein, Richard L. 1947 - (Springer, 1964)