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

Академик РАН, профессор кафедры, заведующий отделом математической логики Математического института им. В. А. Стеклова РАН

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

Математическая логика, теория доказательств, формальная арифметика, теоремы Гёделя, неклассические логики.