000 00272nam a2200109 4500
008 160616s 000 0
245 _aThe lambda calculas its syntax and semantics
100 _aBarendregt, H.P
500 _aB31 M33
942 _cBK
_2BK3573
080 _a510.6 BAR
999 _c3573
_d3573