MATH 5097 MATHEMATICAL LOGIC

This course deals with propositional and predicate calculus, Godel's completeness and incompleteness theorems, and undecidable problems.