Профессор кафедры, д. ф.-м. н.

E-mail адресmреntus at yаndеx.ru

Научные интересыКомпьютерная логика, неклассические логики, теория доказательств, математическая лингвистика.