"Computability and Logic Boolos" - читать интересную книгу автора