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

Subject:

mathematical logic, proof theory, formal arithmetic, computability theory

Publications

Talks and lectures

Personal pages:

• 
• 
• 
• ISTINA
• 
• 
• 

Organisations:

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