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