| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Seminars
"Proof Theory" and "Logic Online Seminar"
|
|||
|
|
|||
|
Complexity of non-normal logics and the logics with counting of axioms applications A. V. Kudinovab a Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), Moscow b National Research University Higher School of Economics, Moscow |
|||
|
|
|||