Undergraduate College Catalog 2022-2023 Course Offerings MATH - Mathematics & Computer Science 3000 MATH 3097
This course deals with propositional and predicate calculus, Godel's completeness and incompleteness theorems, and undecidable problems.