RUS  ENG
Full version
SEMINARS
Structural Proof Theory and Algebraic Logic
February 14, 2022 14:45, Moscow, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom

Lecture 2. Structural Proof Theory and Algebraic Logic

S. O. Speranski

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow


https://youtu.be/zYj6-O9FwcE

© Steklov Math. Inst. of RAS, 2024