Computability, enumerability, unsolvability : directions in recursion theory /
Cooper, S. B.(S Barry)
Slaman, T. A.(Theodore A)
Wainer, S. S.
London Mathematical Society.
Cambridge : Cambridge University Press,
1996.
Recursion theory.
Computable functions.
Unsolvability (Mathematical logic)