"Handbook of Logic and Language" - читать интересную книгу автора (Johan F. A. K. van Benthem, G. B. Alice ter Meulen)