|
|
Logical Perspectives 2021: Summer School and Workshop
17 июня 2021 г. 10:30–11:00, Logical Perspectives 2021 Workshop, г. Москва, МИАН, комн. 104 + online
|
 |
|
 |
|
|
|
On a possibility of finite characterizations for Kripke
complete non-recursively axiomatizable superintuitionistic
predicate logics
D. P. Skvortsov |
| Видеозаписи: |
 |
MP4 |
1,737.1 Mb |
| Дополнительные материалы: |
 |
Adobe PDF |
85.1 Kb |
| Количество просмотров: |
| Эта страница: | 160 | | Видеофайлы: | 37 | | Материалы: | 25 |
|
Дополнительные материалы:
workshop_skvortsov.pdf (85.1 Kb)
Язык доклада: английский
|
|
Обратная связь: