"Language in Action: Categories, Lambdas and Dynamic Logic " - читать интересную книгу автора (J. van Benthem)