Seminars: F. N. Pakhomov, Лекция 6. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях $\mathsf{I}\Sigma

Seminars

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

October 29, 2018 16:30

Лекция 6. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях $\mathsf{I}\Sigma_1$ (Часть 1).

F. N. Pakhomov