Computability, enumerability, unsolvability directions in recursion theory - Cooper, S. B.; Slaman, T. A.; Wainer, S. S.; Cooper, S. B.; Siaman, T. A. (London Mathematical Society lecture note series ;, 1996)