"Odifreddi P. Classical recursion theory.. the theory of functions and sets of natural numbers (Elsevier, 1989)(T)(677s)_MAml_.djvu" - читать интересную книгу автора