Доказуемость и формальная арифметика
20 сентября 2022 г. 14:45, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom