Formal semantics, proof theory, incompleteness and decidability, axiomatic set theory, independence results. Consult the Department as to which topics are offered in a given year. Recommended pre-requisite: one of PHIL_V 220, PHIL_V 222. PHIL_V 222 is recommended.
Formal semantics, proof theory, incompleteness and decidability, axiomatic set theory, independence results. Consult the Department as to which topics are offered in a given year. Recommended pre-requisite: one of PHIL_V 220, PHIL_V 222. PHIL_V 222 is recommended.
