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