RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1978
, том 243,
номер 6,
страницы
1384–1386
(Mi dan42219)
МАТЕМАТИКА
О существенности параметров и сложности основной формулы в схеме аксиом свертки в арифметике второго порядка
В. Г. Кановей
Московский институт инженеров железнодорожного транспорта
УДК:
519.5
Статья представлена к публикации:
А. Н. Колмогоров
Поступило: 18.07.1978
Полный текст:
PDF файл (423 kB)
Реферативные базы данных:
©
МИАН
, 2024