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 |