Упрощение генценовских редукций классической арифметики

Примененная Г. Генценом в 1936 г. редукция выводов классической арифметики до сих пор не использовалась. В работе предлагается редукция, являющаяся значительным упрощением этой редукции. Она может быть применена для нормализации выводов. Используемый ординал вывода является строго монотонным. Библ. – 3 назв.