Academics

Course Catalog

UGRD > MATH > 470

Mathematical Logic

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

Offered in:

TBA