E-mail:
Keywords: proof theory, nonclassical logics.

Recent publications

Presentations in Math-Net.Ru

Personal pages:

• 
• 
• 
• 
• 
• 
• 
• 
• 

Organisations:

• Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
• Steklov International Mathematical Center
• National Research University Higher School of Economics, Moscow
• Lomonosov Moscow State University, Faculty of Mechanics and Mathematics