Note I offer this course occasionally.
Prerequisites Philosophy 310 (Intermediate Logic), or graduate status, or consent of instructor
This course offers an introduction to meta-logic. It presents some of the most important results in the meta-theory of first-order logic, including the completeness theorems and soundness theorems for classical sentential logic and classical predicate logic.
Classroom ??
Time usually TuTh 10:00-11:15