RUS
ENG
Полная версия
СЕМИНАРЫ
Лямбда-исчисление
8 ноября 2021 г.
16:25
, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom
Лекция 9. Полнота относительно теоретико-множественной семантики
С. Л. Кузнецов
https://youtu.be/1658XkjqXLg
©
МИАН
, 2024
