MATH 4022. Advanced Mathematical Logic

Course Code MATE 4022
Course Title Advanced Mathematical Logic
Credits 3
Hours 3 per week
Prerequisites MATE 4021
Description Formal number theory. Axiomatic set theory. Effective computability. Gödel's incompleteness theorem and related topics.
Additional Information