E-mail:
Сайт: https://lms.tversu.ru/eportfolios/3636
Ключевые слова: Логика, модальные логики, суперинтуиционистские логики, неклассические логики, предикатные логики, сложность, разрешимость, семантика Крипке.

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

Математическая логика

Публикации

Доклады и лекции

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

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

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

• Высшая школа современной математики МФТИ
• Институт проблем передачи информации им. А. А. Харкевича Российской академии наук, г. Москва
• University of the Witwatersrand, Johannesburg
• Национальный исследовательский университет "Высшая школа экономики", г. Москва
• НИИ "Центрпрограммсистем", г.Тверь
• Тверской государственный университет, математический факультет