В. И. Игошин Математическая логика и теория алгоритмов

Изд.:  Академия, 2008 г.

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