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