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

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

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






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


Studia Logica, 2016, том 104, выпуск 1, страницы 1–46 (Mi stlog1)  

Franco Montagna's work on provability logic and many-valued logic

Lev Beklemishevab, Tommaso Flaminioc

a Steklov Mathematical Institute, Russian Academy of Sciences, Gubkina str. 8, Moscow, Russia
b National Research University Higher School of Economics, Vavilova str. 7, Moscow, Russia
c Department of Theoretical and Applied Sciences, University of Insubria, Via Mazzini 5, Varese, Italy

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 15-01-09218a
The work of the first author was supported by Russian Foundation for Basic Research, project No. 15-01-09218a.


DOI: https://doi.org/10.1007/s11225-016-9654-3


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

Тип публикации: Статья
Поступила в редакцию: 28.10.2015
Язык публикации: английский

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

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

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