000 00296nam a2200121 4500
008 160616s 000 0
245 _aIntroduction to higher order categorical logic
100 _aLambek, J
100 _aScott, P.J
500 _aB3162 M6
942 _cBK
_2BK4221
080 _a515.1 LAM
999 _c4221
_d4221