Задачи по теории множеств, математической логике теории алгоритмов: Сборник - Лавров, И. А. Игорь Андреевич (Наука, 1984)