Syllabus: [pdf] [tex]
Textbook: forall $x$: An Introduction to Formal Logic (direct link to book: [pdf])

Exams

Homework
Homework 1 (due 21 January, graded 28 January) (solution): p.5-6: #1, 3, 4; p.16: A
Homework 2 (due 28 January, graded 4 February) (solution): p.22-25: problems B, C, F, G; p.43-48: problems A, E, H
Homework 3 (due 4 February, graded 10 February) (solution): p.43-48: problems A, E, H; p. 55: problems B, C; p.76: problems C, D
Homework 4 (due 11 February, graded 11 February) (solution): p.85 B1, B3, C1, C3, C4, D3, D4, D5, E4, E5, G3, G4, J