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