Lambda calculus: its syntax and semantics - Barendregt H P (Amsterdam North Holland, 1984)
Includes bibliography
Keywords: Mathematical logic