Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
13 мая 2015 г. 18:00, г. Москва, МИАН, ауд. 313 (ул. Губкина, 8)