МАТЕМАТИКА

О существенности параметров и сложности основной формулы в схеме аксиом свертки в арифметике второго порядка

В. Г. Кановей

Московский институт инженеров железнодорожного транспорта

УДК: 519.5

Статья представлена к публикации: А. Н. Колмогоров
Поступило: 18.07.1978

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

•