О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики - А. А. Чубарян (АН Арм. ССР)
Keywords: Математика