Лавров, Игорь Андреевич Задачи по теории множеств, математической логике и теории алгоритмов / И.А. Лавров, Л.Л. Максимова. - 2-е изд. - Москва : Наука, 1984. - 224 с. ; 20 см. Subjects--Topical Terms: АлгоритмыМатематическая логикаОснования математики