TY  - BOOK
AU  - Barendregt, H. P
TI  - The Lambda Calculus : Its Syntax snd Semantics / 
U1  - 511.3 
PY  - 1985///
CY  - Amsterdam, Londra, New York
PB  - North-Holland, American Elsevier
KW  - Mathematical logic (Symbolic logic)
ER  -