"Intensional and higher-order modal logic. With applications to Montague semantics" - читать интересную книгу автора (Author Unknown)