00714nam0-22002411i-450-990001130060403321000113006FED01000113006(Aleph)000113006FED01000113006--------d--------km-y0itay50------baeng<<The >>Lamda calculusits syntax and semanticsby BARENDREGT.Amsterdam [etc.]North-Holland1981Studies in logic and the foundations of mathematics103Barendregt,H. P.44637ITUNINARICAUNIMARCBK990001130060403321C-30-(1032033MA1MA1Lamda calculus344859UNINA