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