TY  - BOOK
AU  - Benthem, J. F. A. K. Van,
TI  - Language in action: categories, lambdas and dynamic logic 
SN  - 0262720248  : £23.96
U1  - 401.43 BEN 
PY  - 1995///
CY  - Cambridge, Mass.
PB  - The MIT Press
KW  - Language and logic
KW  - Categorial grammar
KW  - Lambda calculus
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index
ER  -