E-mail:
Keywords: mathematical logic, proof theory, formal arithmetic, computability theory

Subject:

mathematical logic, proof theory, formal arithmetic, computability theory

Recent publications

Presentations in Math-Net.Ru

Personal pages:

• 
• 
• 
• ISTINA
• 
• 
• 

Organisations:

• Lomonosov Moscow State University
• Steklov Mathematical Institute of Russian Academy of Sciences, Moscow