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 |