Dec 8 Dec 8 Introduction to Logic Online Course, Week 13: Conditional Proof & Indirect Proof in Predicate Logic Zachary Fruhling
