RUS
ENG
Full version
SEMINARS
May 20, 2019
16:30
Лекция 26. Ординальный анализ теории
$\mathsf{ATR}_0$
.
F. N. Pakhomov
https://youtu.be/49gBm1JgjcY
©
Steklov Math. Inst. of RAS
, 2025
