RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Итоги науки и техн. Сер. Алгебра, топол., геом.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Итоги науки и техн. Сер. Алгебра. Топол. Геом., 1975, том 13, страницы 5–49 (Mi inta70)  

Теория доказательств (Арифметика и анализ)

Г. Е. Минц


Аннотация: Излагаются доказательство непротиворечивости анализа по Спектру–Говарду и доказательство теоремы о нормализуемости для логики второго порядка и дается краткий обзор работ по теории доказательств для арифметики и анализа, опубликованных после 1970 года.
Библ. 112.

Полный текст: PDF файл (2413 kB)

Англоязычная версия:
Journal of Soviet Mathematics, 1977, 7:4, 501–531

Реферативные базы данных:

УДК: 51.01:164

Образец цитирования: Г. Е. Минц, “Теория доказательств (Арифметика и анализ)”, Итоги науки и техн. Сер. Алгебра. Топол. Геом., 13, ВИНИТИ, М., 1975, 5–49; J. Soviet Math., 7:4 (1977), 501–531

Цитирование в формате AMSBIB
\RBibitem{Min75}
\by Г.~Е.~Минц
\paper Теория доказательств (Арифметика и анализ)
\serial Итоги науки и техн. Сер. Алгебра. Топол. Геом.
\yr 1975
\vol 13
\pages 5--49
\publ ВИНИТИ
\publaddr М.
\mathnet{http://mi.mathnet.ru/inta70}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=536651}
\zmath{https://zbmath.org/?q=an:0413.03031}
\transl
\jour J. Soviet Math.
\yr 1977
\vol 7
\issue 4
\pages 501--531
\crossref{https://doi.org/10.1007/BF01084980}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/inta70
  • http://mi.mathnet.ru/rus/inta/v13/p5

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Просмотров:
    Эта страница:388
    Полный текст:192
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020