"Математическая логика и теория алгоритмов: учеб пособие для студ. ВУЗов" - читать интересную книгу автора ( Игошин В.И.)