"Intensional and higher-order modal logic: With applications to Montague semantics (North-Holland mathematics studies)" - читать интересную книгу автора (Daniel Gallin)