Undergraduate College Catalog 2020-2021 > 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.