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.
| Section | Instructor | Day/Time | Location |
|---|---|---|---|
|
Ray Jennings |
Jan 5 – Apr 11, 2016: Tue, 2:30–4:20 p.m.
Jan 5 – Apr 11, 2016: Thu, 2:30–3:20 p.m. |
Burnaby Burnaby |