Mathematical Logic
University of South Alabama
CoursePHL 467
An introduction to formal first-order logic, first-order metatheory, and its extensions. Topics include axiom systems and their models, completeness, compactness, and recursive sets and functions. Identical with MA 467.
Credits
3 credits
Course Code
PHL 467
Related Courses
Prerequisites, corequisites, and courses that build on this one
Prerequisites
Complete these courses before enrolling