Language in action. Categories, Lambdas, and Dynamic Logic. Studies in Logic (1991)

by J van Benthem