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