ADVANCED LOGIC
Auburn University
CoursePHIL 4110
Advanced topics in logic. For example: soundness, completeness, incompleteness, set theory, proof theory, model theory, non-standard logics. May count either PHIL 4110 or MATH 4110.
- Credits
3 credits
- Course Code
PHIL 4110