%0 Book
%A / Daniel Gallin. -
%T Intensional and higher-order modal logic
%U /book/101263313/Intensional-and-higherorder-modal-logic/