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 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 6 – Apr 13, 2015: Mon, 10:30 a.m.–12:20 p.m.
Jan 6 – Apr 13, 2015: Wed, 10:30–11:20 a.m. |
Burnaby Burnaby |