Philosophy
Topics in Symbolic Logic - Topics in Symbolic Logic
3 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. Recommended pre-requisite: one of PHIL_V 220, PHIL_V 222. PHIL_V 222 is recommended.
No grade data available.
No sections scheduled for the current or upcoming terms.
No course reviews yet. If you took this course, yours would be the first anyone reads.