Профессор кафедры математической логики и теории алгоритмов мехмата МГУ
Математика, Computer Science
Классическая