Лямбда-исчисление
27 сентября 2021 г. 16:25, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom