О методе нахождения точных оценок длин выводов в системах Туэ - С. И. Адян (Изд-во НАН РА)
Keywords: Mathematics