Accelerated Introduction to Logic

This course provides a first introduction to formal logic. In this course, we will introduce proof systems for both propositional and first-order predicate logic and prove their soundness and completeness. (B) (II)