Беклемишев Лев Дмитриевич
Академик РАН, профессор кафедры, заведующий отделом математической логики Математического института им. В. А. Стеклова РАН
E-mail адресlbekl at yandex.ru
Личная страницаhttps://homepage.mi-ras.ru/~bekl/
Научные интересыМатематическая логика, теория доказательств, формальная арифметика, теоремы Гёделя, неклассические логики.
MathNet | ИСТИНА | DBLP | Google Scholar | Math Genealogy | eLibrary | ВШЭ | Wiki | YouTube