RUS  ENG
Полная версия
СЕМИНАРЫ



Лекция 13. Теория вычислимости и лямбда-исчисление

С. Л. Кузнецов, С. О. Сперанский




© МИАН, 2026