RUS
ENG
Full version
SEMINARS
March 4, 2019
16:30
Лекция 16. Соотношение между принципом Червя и доказуемо-вычислимыми функциями PA.
L. D. Beklemishev
https://youtu.be/eG4bUTQCEh4
©
Steklov Math. Inst. of RAS
, 2025
