RUS
ENG
Full version
SEMINARS
Provability and Formal Arithmetic
September 22, 2020
14:30
, Moscow, online via Zoom
Лекция 1. Язык и аксиомы арифметики Пеано
L. D. Beklemishev
https://youtu.be/EXYk1AWs0xQ
©
Steklov Math. Inst. of RAS
, 2024