University of South Alabama
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 PHL 467.
3 credits
MA 467
Prerequisites, corequisites, and courses that build on this one
Complete these courses before enrolling
