МАТЕМАТИКА

Нижние оценки длин выводов в арифметике через сложность участвующих в выводах термов

В. П. Оревков

Ленинградское отделение Математического института им. В. А. Стеклова АН СССР

УДК: 510.64

Статья представлена к публикации: А. П. Ершов
Поступило: 24.01.1986

Реферативные базы данных:

• 
•