"Computability and Logic" - читать интересную книгу автора (George Boolos, Richard C. Jeffrey)