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

E-mail адресlbekl at yandex.ru

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