Coursera: Introduction to Logic (Stanford)

Free-to-audit course on formal logic by Stanford professor Michael Genesereth. Covers propositional logic, predicate logic, and proof theory — foundational mathematical reasoning skills directly applicable to olympiad problem-solving, computer science, and philosophy. One of the oldest and most respected MOOCs on the platform.