Recursion theory / - Nerode, Anil; Shore, Richard A. (American Mathematical Society, 1985)