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