"Recursion Theory and Computational Complexity (C.I.M.E. Summer Schools, 79) " - читать интересную книгу автора (G. Lolli)