RUS
ENG
Полная версия
СЕМИНАРЫ
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
1 апреля 2016 г.
18:00
, г. Москва, МИАН, комн. 430 (ул. Губкина, 8)
Предикативные подсистемы арифметики второго порядка. Лекция 7
Ф. Н. Пахомов
©
МИАН
, 2024