МАТЕМАТИКА

Применения устранения сечений для получения оценок длин доказательств

В. П. Оревков

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

УДК: 510.64

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

 Англоязычная версия: Doklady Mathematics, 1988, 36:2, 292–295

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

• 
•