"Computability and Complexity Theory, 2nd Edition " - читать интересную книгу автора (Steven Homer, Alan L. Selman)