АБВ
АБВ
АБВ

Обычная версия сайта

Кампусы

Подразделения

По категориям

Ординарные профессораЗаслуженные профессораЗаслуженные работникиЛучшие преподавателиЧитающие курсы на английском языкеПолучатели академических надбавокАкадемический кадровый резервАдминистративный кадровый резервАспиранты

По учёным званиям и степеням

Члены и члены-корреспонденты РАН и РАОИмеющие степень PhD

Научные интересы

сбросить фильтры

Научные интересы: «интуиционистская логика»Подразделения

ФИО и должность

Контакты

+7 (925) 213-67-10

Зайцев Игорь Васильевич

Стажер-исследователь: Международная лаборатория логики, лингвистики и формальной философии

кондициональные логики аналитическая метафизика интуиционистская логика неклассические логики контрфактические кондиционалы логика теория доказательств натуральные исчисления

+7 (495) 772-95-90
15304

Рыбаков Михаил Николаевич

доцент: Факультет математики

математическая логика математическая логика и теория моделей модальная логика интуиционистская логика Теория вычислительной сложности теория алгоритмов