Ламбда-исчисление. Его синтаксис и семантика (Барендрегт Хенк)