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.
L. T. F. Gamut is a collective pseudonym for J. F. A. K. van Benthem, professor of mathematical logic; J. A. G. Groenendijk, associate professor of philosophy and computational linguistics; D. H. J. de Jongh, associate professor of mathematics and philosophy; M. J. B. Stokhof, associate professor of philosophy and computational linguistics, all at the University of Amsterdam, and H. J. Verkuyl, professor of linguistics at the University of Utrecht.