Лекция 9. С.Л. Кузнецов. Полнота типового лямбда-исчисления относительно теоретико-множественной…

Мы рекомендуем

27 января 2023

Беседы c батюшкой. Наши неверующие близкие. Как говорить о вере в Бога. Священник Илия Павлов

28 сентября 2024

Владимир и Вера Набоковы. Больше, чем любовь

13 июля 2024

Легенда о Золотой Сахаре и её Светящихся Колёсах

28 июня 2024

Этот день в истории. 1 июля