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