@misc{А._А._Чубарян_О,
 author={А. А. Чубарян},
 howpublished={online},
 publisher={АН Арм. ССР},
 type={Հոդված},
 title={О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики},
 keywords={Математика},
}