Barendregt, H. P.
The Lambda calculus : its syntax and semantics / H. P. Barendregt. - New York : North-Holland , 1984 . - XV, 621 p. : il. ; 24 cm. - (Studies in Logic and the Foundations of Mathematics)
ISBN 0-444-86748-1
Cálculo
LCC QA9.5
The Lambda calculus : its syntax and semantics / H. P. Barendregt. - New York : North-Holland , 1984 . - XV, 621 p. : il. ; 24 cm. - (Studies in Logic and the Foundations of Mathematics)
ISBN 0-444-86748-1
Cálculo
LCC QA9.5