"Computability, Enumerability, Unsolvability: Directions in Recursion Theory (London Mathematical Society Lecture Note Series)" - читать интересную книгу автора (S. B. Cooper, T. A. Slaman, S. S. Wainer)