000			00565 a2200181 4500
008			180328b xxu||||| |||| 00| 0 eng d
010			_a85029908
020			_a0521318394
100			_aHindley, J. Roger
245			_aIntroduction to combinators and λ - calculus
700			_aSeldin, Jonathan P
260			_bCambridge University Press, _c1986. _aCambridge:
300			_a360p. _bill.
440			_aLondon Mathematical Society Student Texts
650			_aCombinatory logic.
650			_aLambda calculus.
942			_cBK _hQA9.5 .H56 1986
999			_c23810 _d23809