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

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

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






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


Ann. Pure Appl. Logic, 2014, том 165, выпуск 1, страницы 82–105 (Mi apal1)  

Positive provability logic for uniform reflection principles

L. Beklemishevabc

a Steklov Mathematical Institute, Russian Academy of Sciences, Gubkina str. 8, 119991, Moscow, Russia
b National Research University Higher School of Economics
c Moscow M.V. Lomonosov State University

Финансовая поддержка Номер гранта
Министерство образования и науки Российской Федерации
Российский фонд фундаментальных исследований
Swiss National Science Foundation STCP-CH-RU project “Computational proof theory”
This work was supported by the Russian Foundation for Basic Research, Russian Presidential Council for Support of Leading Scientific Schools, and the STCP-CH-RU project “Computational proof theory”.


DOI: https://doi.org/10.1016/j.apal.2013.07.006


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

Тип публикации: Статья
MSC: 03F45, 03B45, 03F30, 03D15
Язык публикации: английский

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

    ОТПРАВИТЬ: 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
  • Просмотров:
    Эта страница:29

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018