|
Доклады Академии наук, 1980, том 250, номер 6, страницы 1310–1315
(Mi dan43380)
|
|
|
|
МАТЕМАТИКА
О погружении формальной арифметики в комбинаторно полные системы
А. А. Кузичев, А. С. Кузичев Московский государственный университет имени М. В. Ломоносова
Образец цитирования:
А. А. Кузичев, А. С. Кузичев, “О погружении формальной арифметики в комбинаторно полные системы”, Докл. АН СССР, 250:6 (1980), 1310–1315
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dan43380 https://www.mathnet.ru/rus/dan/v250/i6/p1310
|
Статистика просмотров: |
Страница аннотации: | 108 | PDF полного текста: | 53 |
|