Cann

*This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework.
*It covers all the major aspects, including set theory, propositional logic, type theory, lambda abstraction, traditional and generalized quantifiers, inference, tense and aspect, possible world semantics, and intentionality.