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

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

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




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

Journal of Symbolic Logic, 2019, том 84, выпуск 2, страницы 849–869
DOI: https://doi.org/10.1017/jsl.2018.82 (Mi jsl2) 		 
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Axiomatization of provable $n$-provability

E. A. Kolmakovab, L. D. Beklemishevac

a Steklov Mathematical Institute of Russian Academy of Sciences, 8 Gubkina Street, Moscow 119991, Russia
b Faculty of Computer Science National Research University Higher School of Economics, 3 Kochnovsky proezd, Moscow 125319, Russia
c Faculty of Mathematics National Research University Higher School of Economics, 6 Usacheva Street, Moscow 119048, Russia
Список цитирования (3)
DOI: https://doi.org/10.1017/jsl.2018.82
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/jsl2
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:101
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024