Logic
This course provides an introduction to classical logic,
including
sentential logic, predicate logic, natural deduction,
soundness,
completeness, and decidability. Time permitting, we will
discuss
G
ödel's
incompleteness theorems.
Lecturer: Patrick Hawley