RUS  ENG
Полная версия
ЖУРНАЛЫ // Доклады Академии наук // Архив

Докл. АН СССР, 1980, том 250, номер 6, страницы 1310–1315 (Mi dan43380)

МАТЕМАТИКА

О погружении формальной арифметики в комбинаторно полные системы

А. А. Кузичев, А. С. Кузичев

Московский государственный университет имени М. В. Ломоносова

УДК: 517.12

Статья представлена к публикации: А. А. Дородницын
Поступило: 01.10.1979



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


© МИАН, 2024