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

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

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


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




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

Успехи математических наук, 1987, том 42, выпуск 6(258), страницы 179–180 (Mi rm2806)  
В Московском математическом обществе
Сообщения Московского математического общества

Нормализация выводов и интерполяция для некоторых логик доказуемости

Л. Д. Беклемишев
PDF полного текста (172 kB) PDF английской версии (163 kB)
Список литературы:
PDF
HTML
Поступила в Правление ММО: 15.06.1986
Английская версия:
Russian Mathematical Surveys, 1987, Volume 42, Issue 6, Pages 223–224
DOI: https://doi.org/10.1070/RM1987v042n06ABEH001496
Реферативные базы данных:
Тип публикации: Статья
MSC: 03F45, 03C40, 03B45, 03B05
Образец цитирования: Л. Д. Беклемишев, “Нормализация выводов и интерполяция для некоторых логик доказуемости”, УМН, 42:6(258) (1987), 179–180; Russian Math. Surveys, 42:6 (1987), 223–224
Цитирование в формате AMSBIB
\RBibitem{Bek87}
\by Л.~Д.~Беклемишев
\paper Нормализация выводов и~интерполяция для~некоторых
логик доказуемости
\jour УМН
\yr 1987
\vol 42
\issue 6(258)
\pages 179--180
\mathnet{http://mi.mathnet.ru/rm2806}
\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=934002}
\zmath{https://zbmath.org/?q=an:0654.03042|0644.03028}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?1987RuMaS..42..223B}
\transl
\jour Russian Math. Surveys
\yr 1987
\vol 42
\issue 6
\pages 223--224
\crossref{https://doi.org/10.1070/RM1987v042n06ABEH001496}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1987Q195200009}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/rm2806
  • https://www.mathnet.ru/rus/rm/v42/i6/p179
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Успехи математических наук Russian Mathematical Surveys
    Статистика просмотров:
    Страница аннотации:653
    PDF русской версии:192
    PDF английской версии:70
    Список литературы:74
    Первая страница:3
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026