|
Записки научных семинаров ЛОМИ, 1967, том 4, страницы 44–57
(Mi znsl2207)
|
|
|
|
Достаточные условия неполноты для формализаций частей арифметики
Н. К. Косовский
Образец цитирования:
Н. К. Косовский, “Достаточные условия неполноты для формализаций частей арифметики”, Исследования по конструктивной математике и математической логике. I, Зап. научн. сем. ЛОМИ, 4, М., 1967, 44–57
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2207 https://www.mathnet.ru/rus/znsl/v4/p44
|
Статистика просмотров: |
Страница аннотации: | 128 | PDF полного текста: | 58 |
|