Language in action : categories, lambdas, and dynamic logic - Benthem, Johan van, 1949- (Amsterdam : North-Holland, 1991)
Includes bibliographical references and index
Keywords: Language and logic; Categorial grammar; Lambda calculus; Logic, Symbolic and mathematical; Mathematical linguistics