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

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

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

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

• 
• 
• 
• 
• 
• 
• 
• 
• 

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

• Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
• Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)
• Национальный исследовательский университет "Высшая школа экономики", г. Москва
• Московский государственный университет имени М. В. Ломоносова, механико-математический факультет