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