Categories, Lambdas and Dynamic Logic To order this title, and for more information, click here
By J. van Benthem, Faculteit der Wiskunde en Informatica, University of Amsterdam, The Netherlands
Reviews From the Logical Point of View At present the research programme presented in van Benthem's monograph is intensively developed by logicians, mathematicians, and specialists
in computer science and linguistics. Language in Action conveniently reports in detail and in a compact form the results hitherto obtained.
Certainly it becomes the standard reference in the area.