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

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

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


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




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

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

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

Г. Е. Минц
PDF полного текста (2413 kB) Список цитирования (3)
Аннотация: Излагаются доказательство непротиворечивости анализа по Спектру–Говарду и доказательство теоремы о нормализуемости для логики второго порядка и дается краткий обзор работ по теории доказательств для арифметики и анализа, опубликованных после 1970 года.
Библ. 112.
Англоязычная версия:
Journal of Soviet Mathematics, 1977, Volume 7, Issue 4, Pages 501–531
DOI: https://doi.org/10.1007/BF01084980
Реферативные базы данных:
УДК: 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://mathscinet.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}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/inta70
  • https://www.mathnet.ru/rus/inta/v13/p5
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:549
    PDF полного текста:290
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024