"Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science, Second Edition " - читать интересную книгу автора (Martin Davis, Ron Sigal, Elaine J. Weyuker)