MATH 3097 Mathematical Logic

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

LA

Credits

4

Prerequisite

Prerequisite: MATH.2023: Fundamental Concepts of Mathematics