Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:

Main publications:

• O predikatnoi logike dokazuemosti / V. A. Vardanyan. - Moskva : VINITI, 1985. - 11, [1] s.; 23 sm. - (Preprint/ AN SSSR. Nauchnyi sovet po kompleksnoi probleme "Kibernetika").

Publications in Math-Net.Ru

Personal pages:

• 
• 
• ISTINA

Organisations:

• Federal Research Center "Computer Science and Control" of Russian Academy of Sciences, Moscow
• Institute for Informatics and Automation Problems of National Academy of Science of the Republic of Armenia