Philosophy 451 Advanced Topics in Logical Theory |
Intensive study of various advanced topics in logical theory. Specimen topics include: set theory, model theory, proof theory, algebraic semantics, decision problems for formal theories, etc. |
Prerequisite: Philosophy 322a/b, the former 223b, or the former Philosophy 353a/b. Students with equivalent background may be admitted by permission of the Department. |
3 hours. |
Academic Calendar |