00933nam a2200265 i 450099100276478970753620020503173123.0981215s1954 it ||| | ita b10410788-39ule_instEXGIL109374ExLBiblioteca Interfacoltàita791.43Chiarini, Luigi222328Il film nella battaglia delle idee /Luigi ChiariniMilano [etc.] :F.lli Bocca 1,1954296 p. ;22 cm.Collana di studi cinematografici ;1Cinematografo.b1041078821-02-1727-06-02991002764789707536LE002 791.4301 CHILE002 Ar. I C 1912002000511089le002-E0.00-l- 01010.i1047858927-06-02Film nella battaglia delle idee218146UNISALENTOle00201-01-98ma -itait 3101133nam 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