Language in action
Subtitle: categories, lambdas and dynamic logic
By: Johan Van Benthem.
Series: Studies in logic and the foundations of mathematics -- vol.130
Publisher: North-Holland
Published: 1991
Place of publication: Amsterdam; London
Language: eng
Number of pages: 349
Notes: Includes bibliography and index.