000
00296nam a2200121 4500
008
160616s 000 0
245
_a
Introduction to higher order categorical logic
100
_a
Lambek, J
100
_a
Scott, P.J
500
_a
B3162 M6
942
_c
BK
_2
BK4221
080
_a
515.1 LAM
999
_c
4221
_d
4221