Graduate Catalog 2020-2021 > Course Offerings > MATH-Mathematics-Computer-Science > 5000 > MATH 5097
This course deals with propositional and predicate calculus, Godel's completeness and incompleteness theorems, and undecidable problems.