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