👤 Барендрегт Х.
Ламбда-Исчисление. его синтаксис и семантика
Барендрегт Х.
Барендрегт Х.
Автор