The menu can be opened by selecting any of the tabs in this group. To close this menu, press the escape key to return to the normal menu.
Recommended Searches
What majors and minors are offered?
Where can I find information about graduate programs?
How much is tuition?
What financial aid packages are available?
How do I apply?
How do I get to campus?
Where can I find job listings?
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.