E-mail:
Ключевые слова: математическая логика, теория доказательств, формальная арифметика, теория алгоритмов.

Основные темы научной работы:

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

Публикации за последние годы

Доклады и лекции в базе данных Math-Net.Ru

Персональные страницы:

• 
• 
• 
• ИСТИНА
• 
• 
• 

Организации:

• Московский государственный университет имени М. В. Ломоносова
• Математический институт им. В.А. Стеклова Российской академии наук, г. Москва