Кафедра математической логики и теории алгоритмов

Механико-математического факультета МГУ