Computability, enumerability, unsolvability : directions in recursion theory
Computability, enumerability, unsolvability : directions in recursion theory
edited by S.B. Cooper, T.A. Slaman, S.S. Wainer
- Cambridge Cambridge University Press 1996
- vii, 347 p. ; 23 cm