RUS  ENG
Full version
SEMINARS
Provability and Formal Arithmetic
September 21, 2021 14:45, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom

Lecture 2. Provability and Formal Arithmetic

L. D. Beklemishev, T. L. Yavorskaya


https://youtu.be/EPB57mPRWC0

© Steklov Math. Inst. of RAS, 2024