Computability, enumerability, unsolvability: directions in recursion theory/
edited by S.B. Cooper, T.A. Slaman, S.S. Wainer.
- Cambridge [England] : Cambridge University Press, 1996.
- vii, 347 p. ; 23 cm.
- London mathematical society lecture note series ; 224 .