| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
|
|||
|
|
|||
|
Lecture 7. L-models and R-models for the Lambek calculus S. L. Kuznetsov, T. G. Pshenitsyn |
|||
|
|
|||