Computability, enumerability, unsolvability: directions in recursion theory - Cooper, S. B.; Slaman, T. A.; Wainer, S. S. (Cambridge [England] : Cambridge University Press, 1996)
Includes bibliographical references and index.
1
Keywords: Recursion theory