Language in action : categories, lambdas, and dynamic logic /
Johan van Benthem
- Amsterdam : North-Holland, 1991
- x, 349 p. ; 23 cm.
- Studies in logic and the foundations of mathematics ; v. 130 .
Includes bibliographical references and index
0444890009
Language and logic Categorial grammar Lambda calculus Logic, Symbolic and mathematical Mathematical linguistics