"Computability, enumerability, unsolvability: Directions in recursion theory" - читать интересную книгу автора (S. B. Cooper, T. A. Slaman, S. S. Wainer)