Table of Contents

Simply typed lambda-calculus; higher-order logic; applicative categorial grammar; the Lambek calculus; coordination and unbounded dependencies; quantifiers and scope; plurals; pronouns and dependency; modal logic; intentionality tense and aspect. Appendix: mathematical preliminaries.