Пентус Мати Рейнович — профиль

доктор физико-математических наук с 2001 года

доцент по кафедре математической логики и теории алгоритмов с 16 февраля 2000 г.

МГУ имени М.В. Ломоносова Кафедра математической логики и теории алгоритмов (Механико-математический факультет) профессор с 15 ноября 1995 г.

IstinaResearcherID (IRID): 1545603

ORCID: 0000-0002-9483-7594

Scopus Author ID: 16414824700

ResearcherID: K-2779-2018

Области научных интересов

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

Ключевые слова: компьютерная логика; неклассические логики; теория доказательств; математическая лингвистика / computer logic; non-classical logics; proof theory; mathematical linguistics