"Classical recursion theory: the theory of functions and sets of natural numbers" - читать интересную книгу автора (Piergiorgio Odifreddi)