И. А. Лавров, Л. Л. Максимова Задачи по теории множеств, математической логике и теории алгоритмов

Изд.: ФИЗМАТЛИТ, 2004 г.

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