Seminars: Лекция 21. Нормальные формы $\Pi^1_1$-формул. Теорема Клини о равенстве классов $\Delta^1

Seminars

RUS ENG

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

April 8, 2019 16:30

Лекция 21. Нормальные формы $\Pi^1_1$-формул. Теорема Клини о равенстве классов $\Delta^1_1$ и $\mathsf{HYP}$.