|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ФИЦ ПХФ и МХ РАН |
||
Dick de Jongh on intuitionistic and provability logicsсборник
- Год издания: 2024
- Серия: Outstanding Contributions to Logic
- Издательство: Springer International Publishing
- Местоположение издательства: New York
- ISBN: 978-3-031-47920-5
- Добавил в систему: Беклемишев Лев Дмитриевич
Статьи, опубликованные в сборнике
-
- 2024 Axiomatizing Origami Planes
- Beklemishev Lev, Dmitrieva Anna, Makowsky Johann A.
- в сборнике Dick de Jongh on intuitionistic and provability logics, серия Outstanding Contributions to Logic, издательство Springer International Publishing (New York), с. 353-377 DOI