–
НИР и НИОКР
-
- 1 января 2014 - 31 декабря 2016 Модальные и лингвистические аспекты математической логики
- Кафедра математической логики и теории алгоритмов
- Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Коновалов А.Ю., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шехтман В.Б., Яворская Т.Л.
-
- 1 января 2011 - 31 декабря 2013 Математические проблемы логической семантики неклассических дедуктивных систем
- Кафедра математической логики и теории алгоритмов
- Руководитель: Успенский В.А. Участники НИР: Яворская Т.Л., Пентус М.Р., Шехтман В.Б., Кузнецов С.Л., Шамканов Д.С., Плиско В.Е., Крупский В.Н., Золин Е.Е., Чистякова Р.А.