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

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

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



Труды МИАН:
Год:
Том:
Выпуск:
Страница:
Найти






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


Тр. МИАН СССР, 1955, том 43, страницы 3–112 (Mi tm1179)  

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

О некоторых логических проблемах арифметики

Н. А. Шанин


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

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

Образец цитирования: Н. А. Шанин, “О некоторых логических проблемах арифметики”, Тр. МИАН СССР, 43, Изд-во АН СССР, М., 1955, 3–112

Цитирование в формате AMSBIB
\RBibitem{Sha55}
\by Н.~А.~Шанин
\paper О некоторых логических проблемах арифметики
\serial Тр. МИАН СССР
\yr 1955
\vol 43
\pages 3--112
\publ Изд-во АН СССР
\publaddr М.
\mathnet{http://mi.mathnet.ru/tm1179}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=85196}
\zmath{https://zbmath.org/?q=an:0068.01202}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/tm1179
  • http://mi.mathnet.ru/rus/tm/v43/p3

    ОТПРАВИТЬ: 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

    Эта публикация цитируется в следующих статьяx:
    1. Nagorny N.M., “A Constructive Model of Classical Formal Number–Theory”, Doklady Akademii Nauk, 332:1 (1993), 26–28  mathnet  isi
    2. В. Е. Плиско, “Модифицированная реализуемость и логика предикатов”, Матем. заметки, 61:2 (1997), 259–269  mathnet  crossref  mathscinet  zmath; V. E. Plisko, “Modified realizability and predicate logic”, Math. Notes, 61:2 (1997), 212–220  crossref  isi
  • Труды Математического института им. В. А. Стеклова Proceedings of the Steklov Institute of Mathematics
    Просмотров:
    Эта страница:378
    Полный текст:180
    Первая стр.:1
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020