000			00449nam a2200157Ia 4500
008			190916s1981||||xx |||||||||||||| ||und||
020			_a0444854908
082			_a511.3 _bLa
100			_aBarendregt, H. P.
245		4	_aThe lambda calculus : _bits syntax and semantics / _cH.P. Barendregt.
260			_aAmsterdam ; _bNorth-Holland Pub., _c1981.
300			_axiv, 615 p. :
500			_aIncludes indexes.
650			_aLambda calculus.
942			_cBK
999			_c8136 _d8136