all > UGRD > math > math 470
Mathematical Logic
Course #: MATH 470
Description:
Syntax and semantics of propositional and first order predicate logic. Axiomatic theories and completeness. Brief discussion of incompleteness results.
Pre Requisites: Pre-requisite: CS 220 or MATH 360
Offered in:
TBA
