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