Dmitry Yurievich Vlasov Russian Federation, Novosibirsk Academic degree Candidate of Physics and Mathematics Research area formal mathematics automated theorem proving Affiliation & position Sobolev Institute of Mathematics — researcher Novosibirsk State University — senior lecturer E-mail vlasov@academ.orgvlasov.dmitry.1976@gmail.com
Vlasov D. System Description: Russell - A Logical Framework for Deductive Systems // System Informatics. — 2019. — # 15. — P. 1-12
