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