A
A
A

АБВ
АБВ
АБВ

А
А
А
А
А

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

Кампусы

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

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

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

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

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

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

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

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

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

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

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

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

Контакты

+7 (495) 772-95-90
15304

Беклемишев Лев Дмитриевич

Профессор: Факультет математики / Базовая кафедра Математического института им. В.А. Стеклова РАН

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

+7 (495) 772-95-90
27206

Поляков Николай Львович

Доцент: Факультет экономических наук / Департамент математики

математическая логика и теория моделей теория Рамсея теория коллективного выбора ультрарасширения моделей

+7 (495) 772-95-90
15304

Шехтман Валентин Борисович

профессор: Факультет математики

математическая логика неклассические логики универсальная алгебра топология информатика