Making Computational Sense of Montague's Intensional Logic

Open in new window