Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
22 апреля 2016 г. 17:30, г. Москва, МИАН, комн. 430 (ул. Губкина, 8)