RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1981
, том 261,
номер 4,
страницы
792–796
(Mi dan44897)
МАТЕМАТИКА
Арифметические теории, строящиеся на основе
$\lambda$
-конверсии
А. С. Кузичев
Московский государственный университет имени М. В. Ломоносова
УДК:
517.12
Статья представлена к публикации:
А. Н. Колмогоров
Поступило: 29.05.1981
Полный текст:
PDF файл (722 kB)
Реферативные базы данных:
©
МИАН
, 2024