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