RUS
ENG
Full version
SEMINARS
February 25, 2019
16:30
Лекция 15. Теоретико-доказательственный анализ
$\mathsf{PA}$
с помощью схем рефлексии.
L. D. Beklemishev
https://youtu.be/uNBc80ltnUc
©
Steklov Math. Inst. of RAS
, 2024
