|
Итоги науки и техники. Серия «Алгебра. Топология. Геометрия», 1975, том 13, страницы 5–49
(Mi inta70)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Теория доказательств (Арифметика и анализ)
Г. Е. Минц
Аннотация:
Излагаются доказательство непротиворечивости анализа по Спектру–Говарду и доказательство теоремы о нормализуемости для логики второго порядка и дается краткий обзор работ по теории доказательств для арифметики и анализа, опубликованных после 1970 года.
Библ. 112.
Образец цитирования:
Г. Е. Минц, “Теория доказательств (Арифметика и анализ)”, Итоги науки и техн. Сер. Алгебра. Топол. Геом., 13, ВИНИТИ, М., 1975, 5–49; J. Soviet Math., 7:4 (1977), 501–531
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/inta70 https://www.mathnet.ru/rus/inta/v13/p5
|
Статистика просмотров: |
Страница аннотации: | 527 | PDF полного текста: | 282 |
|