MATH 4040 Logic

Topics include first-order symbolic logic, metalogic and completeness (Godel's Incompleteness Theorem), axiomatic set theory, and computability.

Credits

3 credits

Lecture Hours

3 hours

Prerequisite

At least a C in MATH 3040