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