01133nam a2200313 i 450099100105663970753620020507182417.0950928s1981 ne ||| | eng 0444854908b10794864-39ule_instLE01306351ExLDip.to Matematicaeng511.3AMS 03B40Barendregt, Hendrik Peter535871The lambda calculus :its syntax and semantics /H. P. BarendregtAmsterdam :North-Holland,1981xiv, 615 p. :ill. ;23 cm.Studies in logic and the foundations of mathematics, ISSN 0049237X ;103Bibliography: p. 580-591.Includes indexesCombinatory logic and lambda-calculusLambda calculus.b1079486423-02-1728-06-02991001056639707536LE013 03B BAR11 (1981)12013000036137le013-E0.00-l- 01010.i1089620x28-06-02Lambda calculus921589UNISALENTOle01301-01-95ma -engne 41