RUS
ENG
Полная версия
СЕМИНАРЫ
Лямбда-исчисление
29 ноября 2021 г.
16:25
, г. Москва, online на платформе Zoom
Лекция 12. Неразрешимость задачи о сильной нормализуемости (продолжение)
С. Л. Кузнецов
https://youtu.be/qKJsgnFKSGQ
©
МИАН
, 2024
