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

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


Пентус Мати Рейнович

Профессор кафедры, д. ф.-м. н.
E-mail адресmреntus at yаndеx.ru
Научные интересыКомпьютерная логика, неклассические логики, теория доказательств, математическая лингвистика.