Course Catalog

all > UGRD > MATH

Mathematical Logic

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

Pre Requisites: Pre-req = MATH/CS 320L or MATH 360

Offered in:

TBA