Intensional Logic in Extensional Language - Paper

Ronald N. Giere