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