|
Записки научных семинаров ЛОМИ, 1971, том 20, страницы 134–144
(Mi znsl2403)
|
|
|
|
Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики
Г. Е. Минц
Образец цитирования:
Г. Е. Минц, “Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики”, Исследования по конструктивной математике и математической логике. IV, Зап. научн. сем. ЛОМИ, 20, Изд-во «Наука», Ленинград. отд., Л., 1971, 134–144
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2403 https://www.mathnet.ru/rus/znsl/v20/p134
|
Статистика просмотров: |
Страница аннотации: | 192 | PDF полного текста: | 76 |
|