–
НИР и НИОКР
-
- 1 января 2020 - 31 декабря 2022 Неклассические семантики и исчисления
- Кафедра математической логики и теории алгоритмов
- Руководитель: Пентус М.Р. Ответственные исполнители: Золин Е.Е., Плиско В.Е. Участники НИР: Боков Г.В., Гершгорин Р.А., Коновалов А.Ю., Крупский В.Н., Пшеницын Т.Г.