О длинах выводов формул в расширениях формальной арифметики - А. А. Чубарян (ՀՍՍՀ ԳԱ հրատ․)
Keywords: Mathematics; Science; General Works