00752nam0-22002531i-450-990001130080403321000113008FED01000113008(Aleph)000113008FED01000113008--------d--------km-y0itay50------baeng<<The >>Lambda calculusits sintax and semant icsby Barendregt.Amsterdam [etc.]North-Holland1984Studies in logic and the foundations of mathematics103Revised EditionBarendregt,H. P.44637ITUNINARICAUNIMARCBK990001130080403321C-30-(103-REV995MA1MA1Lambda calculus344857UNINA