Barendregt, H <br/><br/>
Lambda-uchislenie  Ego sintaksis i semantika 
H. Barendregt; trad. din lb. engleza: G. E. Mintsa 
 - Moskva  Mir  1985 
 - 606 p  ill.; portr  22 cm 
<br/><br/> Cuprinde bibliografie si index  Scriere chirilica  The Lambda Calculus; Its Syntax and Semantics - H. P. Barendregt (Amsterdam; New York; Oxford North-Holland Publishing Company 1981); (Studies in Logic and the Foundations of Mathematics - 103) 
<br/><br/><label>Dewey Class. No.: </label>510.2 510.6