000 00350pam a2200145a 44500
008 160408b1984 xxu||||| |||| 00| 0 eng d
010 _a84005966
020 _a0 444 87508 5
082 _a511.3
_bB237L
100 _aBarendregt, H.P.
245 1 _aTHE LAMBDA CALCULUS
260 _a
_bNorth-Holland
_c1984
964 _gCIRC
997 _aA102559 C
999 _c313954
_d313954