RUS
ENG
Full version
SEMINARS
February 11, 2019
16:30
Лекция 13. Доказуемо вычислимые функции
$\mathsf{PA}$
, принцип Червя, схемы рефлексии.
L. D. Beklemishev
https://youtu.be/ha-53pF3jaE
©
Steklov Math. Inst. of RAS
, 2025
