Table of Contents:
  • Preface
  • Acknowledgments
  • 1Introduction
  • 2. Simply Typed l-Calculus
  • 3. Higher-Order Logic
  • 4. Applicative Categorial Grammar
  • 5. The Lambek Calculus
  • 6. Coordination and Unbounded Dependencies
  • 7. Quantifiers and Scope
  • 8. Plurals
  • 9. Pronouns and Dependency
  • 10. Modal Logic
  • 11. Intensionality
  • 12. Tense and Aspect
  • Appendix A Mathematical Preliminaries
  • References
  • Index.