Семинары: Ф. Н. Пахомов, Лекция 17. Системы арифметики второго порядка $\mathsf{ACA}_0$, $\mathsf{RCA}_0$ и $\mathsf{WKL}

RUS ENG

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

Для просмотра файлов Вам могут потребоваться

Лекция 17. Системы арифметики второго порядка $\mathsf{ACA}_0$, $\mathsf{RCA}_0$ и $\mathsf{WKL}_0$.

Ф. Н. Пахомов


	Видео не загружается в Ваш браузер: Установите Adobe Flash Player Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080 Сообщите администратору портала о данной ошибке

ОТПРАВИТЬ:

Обратная связь: