Save To Worklist
PHIL 420A Topics in Symbolic Logic - TOPICS:SYMB LOGI
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.
Pre-reqs: PHIL 220.
|Status||Section||Activity||Term||Interval||Days||Start Time||End Time||Comments|
|PHIL 420A 002||Lecture||2||Mon Wed Fri||12:00||13:00|
Prerequisites: in addition to PHIL 220, students must have completed at least one of PHIL 320, 322, or 323 prior to taking this course, with completion of PHIL 320 being strongly recommended.