Provability and Formal Arithmetic
November 22, 2022 14:45, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom