RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1980
, том 250,
номер 6,
страницы
1310–1315
(Mi dan43380)
МАТЕМАТИКА
О погружении формальной арифметики в комбинаторно полные системы
А. А. Кузичев
,
А. С. Кузичев
Московский государственный университет имени М. В. Ломоносова
УДК:
517.12
Статья представлена к публикации:
А. А. Дородницын
Поступило: 01.10.1979
Полный текст:
PDF файл (929 kB)
Реферативные базы данных:
©
МИАН
, 2024