Intensional and higher-order modal logic
-
nidottu
,
Englanti, 1975