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