Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
May 22, 2025 16:00, Steklov Mathematical Institute, Room 313 (8 Gubkina)