Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Joosten Joost J
E-mail:
email
https://www.mathnet.ru/rus/person128681
Список публикаций на Google Scholar
Публикации в базе данных
Math-Net.Ru
Цитирования
2014
1.
L. D. Beklemishev, D. Fernández-Duque, J. J. Joosten, “On provability logics with linearly ordered modalities”,
Studia Logica
,
102
:3 (2014),
541–566
16
Доклады и лекции в базе данных
Math-Net.Ru
1.
Turing jumps again
J. Joosten
Workshop on Proof Theory, Modal Logic and Reflection Principles
17 октября 2017 г.
10:35
Организации
Universitat de Barcelona
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024