TY  - GEN
AU  - Barendregt, H
TI  - Lambda-uchislenie: Ego sintaksis i semantika
U1  - 510.2 
PY  - 1985///
CY  - Moskva
PB  - Mir
N1  - 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)
ER  -