000 00523nam a2200169 4500
008 160616s1999 000 0
245 _aLanguage in Action : Categories, Lambdas and Dynamic Logic
100 _avan Benthem, Johan.
260 _aUSA
260 _bMIT Press
260 _c1999
300 _a365
020 _a0 262 72024 8
650 _aLanguage and Logic
_aCategorical Grammar
_aLambda Calculus
_aLogic, Symbolic and Mathematical
_aMathematical Linguistics
942 _cBK
_2BK16933
080 _a510.6 BEN
999 _c16933
_d16933