Intensional logic and logical grammar
L. T. F. Gamut · University of Chicago Press eBooks · 1991
Although the two volumes of Logic, Language, and Meaning can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions.