RUS
ENG
Full version
SEMINARS
November 12, 2018
16:30
Лекция 7. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях
$\mathsf{I}\Sigma_1$
(Часть 2).
F. N. Pakhomov
,
L. D. Beklemishev
https://youtu.be/4-W35IlVGAY
©
Steklov Math. Inst. of RAS
, 2024
