M01: Learning the Basics
M02: TFL
M03: Truth Tables
M04: Midcourse Exam 1
M05: Natural Deduction for TFL (Part 1)
M06: Natural Deduction for TFL (Part 2)
M07: Midcourse Exam 2
M08: First Order Logic (FOL)
M9: FOL - Interpretations
M10: Midcourse Exam 3
M11: Natural Deduction for FOL (Part 1)
M12: Natural Deduction for FOL (Part 2)
M13: Final Exam