| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Seminar by S. L. Kuznetsov and V. B. Shehtman "Algebraic and categorical logic"
|
|||
|
|
|||
|
Gentzen-style systems for orthomodular quantum logic Konstantin Shishov |
|||
|
|
|||
