Handed out in class today:

Partee, Barbara H., Alice ter Meulen, and Robert E. Wall: 1987, “Chapter 5: Basic Concepts of Logic and Formal Systems” and “Chapter 6: Statement Logic”, in Mathematical Methods on Linguistics, Kluwer. pp. 87-134.

Required reading from this: Sections 6.1–6.4 (pp. 97–112).

Everything else (Chapter 5 and Sections 6.5 and 6.6) is optional.