RUS  ENG
Full version
SEMINARS
Provability and Formal Arithmetic
September 29, 2020 14:30, Moscow, Steklov Mathematical Institute (8 Gubkina), Room. 530

Лекция 2. Слабые фрагменты арифметики Пеано и их модели

L. D. Beklemishev


https://youtu.be/oGgoSsk84UE

© Steklov Math. Inst. of RAS, 2024