| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
|
|||
|
|
|||
|
Lecture 1. Residuated lattices and substructural calculi S. L. Kuznetsov, T. G. Pshenitsyn |
|||
|
|
|||
