Intensional and higher-order modal logic with applications to Montague Semantics - Gallin Daniel (Amsterdam North-Holland)
Keywords: Mathematical logic