
В. И. Игошин Математическая логика и теория алгоритмов
Изд.: Академия, 2008 г.
Учебное пособие представляет собой основу комплекта для изучения курса теории алгоритмов и математической логики. В комплект также входит сборник задач автора. В книге излагаются основы теории, а также показаны направления, по которым логика проникает в основы анализа, алгебры, геометрии. Отлично подходит для изучения в педагогических и технических вузах.