Undergraduate Catalog 2019-2020 > Courses > MATH - Mathematics > 4000 > MATH 4040
Previous
4000
Next
MATH 4110
Topics include first-order symbolic logic, metalogic and completeness (Godel's Incompleteness Theorem), axiomatic set theory, and computability.