Barendregt, H. P. <br/><br/>
The lambda calculus :   its syntax and semantics /  
by H. P. Barendregt. 
 - milton keynes :   lightning source,   2012. 
 - xiii,621p. : ill. ; 
<br/><br/>Include Index 
<br/><br/><label>ISBN: </label>9781848900660   
<br/><br/><label>Subjects--Topical Terms: </label><br/>Calculus
<br/><br/><label>Dewey Class. No.: </label>511.3  / BAR/L