Элиминация кванторов в элементарной теории поля комплексных чисел

Образовательный семинар. Кафедра математической логики и теории алгоритмов.