Лавров, Игорь Андреевич Задачи по теории множеств, математической логике и теории алгоритмов / Игорь Лавров, Лариса Максимова ; Новосибирский гос. ун-т. - 2-е изд. - Москва : Наука, 1984. - 223 с. Subjects--Index Terms: მათემატიკური ლოგიკა სიმრავლეთა თეორია Universal Decimal Class. No.: 517.11