000 00734cam a22002291 4500
005 20150610124132.0
008 770705s1972 enk b 000 0 eng
020 _a0521096979
040 _aDLC
_cDLC
_dDLC
082 0 0 _a511.3
100 1 _aHindley, J. Roger.
245 1 0 _aIntroduction to combinatory logic
_c[by] J. R. Hindley, B. Lercher and J. P. Seldin.
260 _aCambridge .
_bUniversity Press,
_c1972.
300 _a170 p.
_c24 cm.
490 1 _aLondon Mathematical Society. Lecture note series,
_v7
504 _aBibliography: p. 157-162.
650 0 _aCombinatory logic.
700 1 _aLercher, B.,
700 1 _aSeldin, J. P.,
830 0 _aLondon Mathematical Society lecture note series ;
_v7.
942 _2ddc
999 _c162088
_d162088