Propositional logic, predicate logic, truth tables, proofs, modal logic, and metalogic. 15 units, 225 lessons.