Topics in Symbolic Logic

3-6 credits

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. Prerequisite: PHIL_V 320.