Spring of odd years
Total Credits: 4 Lecture/Recitation/Discussion Hours: 4
Not open to students with credit in:
Logical consequence, first-order predicate logic with identity, including functions and descriptions. Proof theory and model theory. Topics in metatheory such as completeness, compactness, and the Lowenheim-Skolem Theorems. The axiomatic method and Godel's Incompleteness Theorems.