MATH5097 MATHEMATICAL LOGIC

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

Credits

4

Prerequisite

Take MATH.2023.