Ламбда-исчисление.Его синтаксис и семантика. под. ред. А.С.Кузичева. пер.английского. Барендретт, Х. 510.6 Москва Мир. 1985 1985 |||| Text 606 стр. 22см. und