Course Description

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