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