Axiomatic Logic PHIL 310 (3)
This course studies the metatheory of axiomatic propositional and quantificational logic. Topics include proof theory, the metatheory of propositional logic, the proof theory of first-order logic, first-order models, soundness and completeness. Prerequisite: One of PHIL 110, 210, MACM 101, MATH 144, CMPT 205. Students with credit for PHIL 214 may not take this course for further credit. Quantitative.