A rigorous undergraduate-level sequence on formal logic and natural deduction, moving from basic inference rules to advanced proof strategies like conditional and indirect proof. Students learn to build irrefutable logical arguments through a step-by-step 'architectural' approach to reasoning.

Similar Sequences