Department of Mathematics
MATH 4021. Mathematical Logic
Course Code
MATE 4021
Course Title
Mathematical Logic
Credits
3
Hours
3 per week
Prerequisites
MATE 4032
Description
First order predicate calculus. Syntactic and semantic approach to the concept of truth. GĂ¶del's completeness theorem. Model theory. Decision problems and arithmetization of logic.
Additional Information