| |
Joosten Joost J
|
| В базах данных Math-Net.Ru |
| Публикаций: |
1 |
| Научных статей: |
1 |
| Лекций и докладов: |
1 |
| Статистика просмотров: |
| Эта страница: | 895 |
| Страницы публикаций: | 554 |
| Страницы докладов: | 597 |
| Видео записи: | 107 |
|
| E-mail: |
|
|
 |
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
|
|
|
| Организации |
|
Обратная связь: