TY  - BOOK
AU  - Benthem,Johan van
TI  - Language in action: categories, lambdas, and dynamic logic 
SN  - 0444890009
U1  - 415.018 
PY  - 1991///
CY  - Amsterdam
PB  - North-Holland
KW  - Language and logic
KW  - Categorial grammar
KW  - Lambda calculus
KW  - Logic, Symbolic and mathematical
KW  - Mathematical linguistics
N1  - Includes bibliographical references and index
ER  -