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