|
SEMINARS |
Seminars
"Proof Theory" and "Logic Online Seminar"
|
|||
|
Логики теоретико-модельных конструкций: логика подмоделей, часть 1 D. I. Saveliev Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), Moscow |
|||