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