Graduate Catalog 2022-2023 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.