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

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


Кузнецов Степан Львович

Ассистент кафедры, старший научный сотрудник отдела математической логики МИАН, к. ф.-м. н.
E-mail адресsk at mi-ras.ru
Личная страницаhttp://www.mi-ras.ru/~sk/
Научные интересыНеклассические логики, субструктурная логика и её приложения в математической лингвистике.