i Please note:
To view the current calendar, go to
Axiomatic Logic PHIL 214 (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 210, MACM 101, MATH 144, CMPT 205. Quantitative.