Originally published: Oxford : North-Holland, 1991. With new Addenda.
Language in action : categories, lambdas, and dynamic logic by Johan van Benthem. ISBN 0262720248. Published by North-Holland in 1995. Publication and catalogue information, links to buy online and reader comments.