Birth date: 18.01.1983
E-mail:
Keywords: model, theory, computability, algorithm.
UDC: 510.53, 510.67

Subject:

Mathematical logic, algorithm theory, computable models.

Publications in Math-Net.Ru

Personal pages:

• 
• 
• 

Organisations:

• Novosibirsk State University
• Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk