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