Degrees of unsolvability : local and global theory. - Springer Verlag, 1983. - ( Perspectives in mathematical logic ).