Website: https://fervo.ru/mr/
Keywords: mathematical logic, proof theory, formal languages.

Publications in Math-Net.Ru

Presentations in Math-Net.Ru

Personal pages:

• 
• 
• 
• ISTINA
• 
• 
• 

Organisations:

• Lomonosov Moscow State University
• Lomonosov Moscow State University, Faculty of Mechanics and Mathematics