MATH 470 Mathematical Logic

3 Credit(s)

Syntax and semantics of propositional and first order predicate logic. Axiomatic theories and completeness. Brief discussion of incompleteness results.

Enrollment Requirements:
Prerequisite: MATH/CS 320L or MATH 360