| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Seminar by S. L. Kuznetsov and V. B. Shehtman "Algebraic and categorical logic"
|
|||
|
|
|||
|
Cartesian closed categories, logic, and lambda calculus Andrey Khranilov |
|||
|
|
|||