Л.Д. Беклемишев. Лекция 2. Арифметка элементарных функций EA

Лекционные курсы Научно-образовательного центра МИАН Введение в теорию доказательств и ординальный анализ Л.Д. Беклемишев. Лекция 2. Арифметка элементарных функций EA 1 октября 2018 г., г. Москва, ул. Губкина, д. 8, МИАН, ауд. 530 Источник:
Все видео с сессии:
   • 2018-2019 гг. Л.Д. Беклемишев, Ф.Н. Пахомо...