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