MATH 3097 Mathematical Logic

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

Credits

4

Prerequisite

MATH 2023