000 00244nam a2200109 4500
008 160616s 000 0
245 _aCombinatory logic
100 _aCurry, H.B.
100 _aFeys, R
942 _cBK
_2BK11440
080 _a510.6 CUR
999 _c11440
_d11440