Course by T. L. Yavorskaya "Justification logic"
April 11, 2023 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina) + online