|
Записки научных семинаров ЛОМИ, 1979, том 88, страницы 218–235
(Mi znsl3116)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О канонических рекурсивных функциях и операциях
Н. А. Шанин
Аннотация:
Устанавливается ряд свойств канонических рекурсивных функций и операций, предоставляющих возможность экстраполировать на эти функции и операции предложенный Р. Л. Гудстейном способ построения исчислений равенств.
Образец цитирования:
Н. А. Шанин, “О канонических рекурсивных функциях и операциях”, Исследования по конструктивной математике и математической логике. VIII, Зап. научн. сем. ЛОМИ, 88, Изд-во «Наука», Ленинград. отд., Л., 1979, 218–235; J. Soviet Math., 20:4 (1982), 2381–2390
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl3116 https://www.mathnet.ru/rus/znsl/v88/p218
|
Статистика просмотров: |
Страница аннотации: | 161 | PDF полного текста: | 87 |
|