Barendregt, H. P <br/><br/>
The Lambda Calculus : Its Syntax snd Semantics /  
H. P Barendregt 
 - Amsterdam, Londra, New York  North-Holland, American Elsevier  1985 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematical logic (Symbolic logic)
<br/><br/><label>Dewey Class. No.: </label>511.3