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 |