Agenda

1. General Guidelines for Technical Writing
2. Mathematical Writing
3. An Introduction to Formal Logic
4. In-Class Exercises