Barendregt, H. P. <br/><br/>
The lambda calculus :  its syntax and semantics / 
H. P. Barendregt 
 - Amsterdam :  North-Holland Pub.,  1981 
 - xiv, 615 p. :  ill. ;  23 cm. 
 - Studies in logic and the foundations of mathematics ;  vol. 103 .
<br/><br/> Includes index 
<br/><br/>Bibliography: p. 580-591 
<br/><br/><label>ISBN: </label>0444854908 :  225.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lambda calculus<br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>517