Предисловие к русскому изданию книги: Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантикакнига