TY  - BOOK
AU  - Barendregt H P
TI  - Lambda calculus: its syntax and semantics
T2  - Studies in logic and the foundations of mathematics
U1  - B:(R1), M1;M4 
PY  - 1984///
CY  - Amsterdam
PB  - North Holland        
KW  - Mathematical logic
N1  - Includes bibliography
ER  -