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

5-е изд., исправл. — М.: Физматлит, 2004. — 256 с. — ISBN 5-9221-0026-2. В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов.
Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов».
Задачи снабжены указаниями и ответами.
Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу.
Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики.
Для математиков-алгебраистов, логиков и кибернетиков.