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

Lecture 1. Provability and Formal Arithmetic

L. D. Beklemishev, T. L. Yavorskaya


https://youtu.be/Hl6qW4Fq-Eo

© Steklov Math. Inst. of RAS, 2024