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