Кафедра математической логики и теории алгоритмов

Механико-математического факультета МГУ


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

Академик РАН, профессор кафедры, заведующий отделом математической логики Математического института им. В. А. Стеклова РАН
E-mail адресlbekl at yandex.ru
Научные интересыМатематическая логика, теория доказательств, формальная арифметика, теоремы Гёделя, неклассические логики.