Introductory Materials [Description, Syllabus]
Logic Primer Study Aids [Daemon Proofchecker and Quizmaster]
Notes about Daemon Proofchecker [N1, N2]
Graded Homework Sets [G1, G2, G3]
Review Sets [R1, R2, R3]