|
ВИДЕОТЕКА |
Logical Perspectives 2021: Summer School and Workshop
|
|||
|
On a possibility of finite characterizations for Kripke complete non-recursively axiomatizable superintuitionistic predicate logics D. P. Skvortsov |
|||
Язык доклада: английский |