Barendregt, H. P. <br/><br/>
Lambda calculus  its syntax and semantics 
by H. P. Barendregt 
 - Amsterdam  North-Holland Pub. Co.  1981 
 - xiv, 615p. 
 - Studies in Logic and the Foundations of Mathematics  V.103 .
<br/><br/><label>ISBN: </label>0444854908 
<br/><br/><label>Dewey Class. No.: </label>511.3  / N813