TY - BOOK AU - Gallin,Daniel TI - Intensional and higher-order modal logic: with applications to Montague semantics SN - 044411002X (pbk.) U1 - 160 PY - 1975/// CY - Amsterdam PB - North Holland Pub. KW - Modality (Logic) KW - Logic, Symbolic and mathematical N1 - Includes bibliographical references and index ER -