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

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

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




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

Studia Logica, 2016, том 104, выпуск 1, страницы 1–46
DOI: https://doi.org/10.1007/s11225-016-9654-3 (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
DOI: https://doi.org/10.1007/s11225-016-9654-3
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 15-01-09218a
The work of the first author was supported by Russian Foundation for Basic Research, project No. 15-01-09218a.
Поступила в редакцию: 28.10.2015
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/stlog1
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:135
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024