Frontmatter -- Contents -- Preface -- 1. Meaning and Logic -- Part I: The Classical Picture -- 2. Truth Table Logic -- 3. Predicates -- 4. Quantifiers -- 5. Functions: The Lambda Calculus -- Part II: Modality -- 6. Possibility and Necessity -- 7. Worlds and Individuals -- Part III: Negation and Partiality -- 8. Many Valued Logics -- 9. Situations and Information -- 10. Intuitionism and Constructive Proof -- Part IV: Substructural Logics and Categorial Grammar -- 11. Relevance, Resources and Order -- 12. Grammar as Logic -- 13. Combinators -- Bibliography -- Index