АБВ
АБВ
АБВ

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

Кампусы

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

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

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

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

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

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

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

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

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

Контакты

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

Стажер-исследователь: Международная лаборатория логики, лингвистики и формальной философии
Аспирант: Факультет гуманитарных наук / Школа философии и культурологии

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