Department of Mathematics
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