Then, after a quick review of classical propositional and first-order predicate logic, the course delves into the central meta-theorems about classical logic (such as the soundness and completeness ...

Topics include propositional logic, boolean algebras and rings, first-order logic and systems of deduction. Time permitting, we will touch on Tarski's notion of model, and the completeness and ...