Электронный каталог: Лавров, Игорь Андреевич - Задачи по теории множеств, математической логике и теории алгоритмов