E-mail:
Keywords: logic, proof search

Subject:

mathmatical logic

Publications in Math-Net.Ru

Personal pages:

• 

Organisations:

• Ural Federal University named after the First President of Russia B. N. Yeltsin, Ekaterinburg