"Вычислимость и логика" - читать интересную книгу автора