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