000 00367 a2200145 4500
035 _a
090 _c27533
_d27533
100 _avan Benthem, Johan
245 _aThe Lambek Calculus
_cJohan van Benthem
260 _aAmsterdam
_bUniversity Amsterdam
_c1986
300 _a46 p
_c29 cm
440 _aReport
_n6
500 _aContine bibliografie
942 _aIMAR
_cCART
_sSN
999 _c27239
_d27239