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

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

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


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




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

Математический сборник, 1990, том 181, номер 2, страницы 240–255 (Mi sm1153)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

О двух расширениях логики доказуемости GL

В. Ю. Шавруков

Московский государственный университет им. М. В. Ломоносова
PDF полного текста (1871 kB) PDF английской версии (913 kB) Список цитирования (1)
Список литературы:
PDF
HTML
Поступила в редакцию: 25.11.1988
Англоязычная версия:
Mathematics of the USSR-Sbornik, 1991, Volume 69, Issue 1, Pages 255–270
DOI: https://doi.org/10.1070/SM1991v069n01ABEH001236
Реферативные базы данных:
УДК: 510.65
MSC: Primary 03B45; Secondary 03C80
Образец цитирования: В. Ю. Шавруков, “О двух расширениях логики доказуемости GL”, Матем. сб., 181:2 (1990), 240–255; V. Yu. Shavrukov, “On two extensions of the logic of provability GL”, Math. USSR-Sb., 69:1 (1991), 255–270
Цитирование в формате AMSBIB
\RBibitem{Sha90}
\by В.~Ю.~Шавруков
\paper О~двух расширениях логики доказуемости GL
\jour Матем. сб.
\yr 1990
\vol 181
\issue 2
\pages 240--255
\mathnet{http://mi.mathnet.ru/sm1153}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1046601}
\zmath{https://zbmath.org/?q=an:0711.03003|0716.03009}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?1991SbMat..69..255S}
\transl
\by V.~Yu.~Shavrukov
\paper On two extensions of the logic of provability~GL
\jour Math. USSR-Sb.
\yr 1991
\vol 69
\issue 1
\pages 255--270
\crossref{https://doi.org/10.1070/SM1991v069n01ABEH001236}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1991FM83100015}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/sm1153
  • https://www.mathnet.ru/rus/sm/v181/i2/p240
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математический сборник - 1989–1990 Sbornik: Mathematics
    Статистика просмотров:
    Страница аннотации:349
    PDF русской версии:147
    PDF английской версии:11
    Список литературы:47
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024