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