MATH 5420 - Advanced Logic

Credits: 3
Studies advanced topics in mathematical logic. Takes up such topics as: uninterpreted calculi and the distinctive contributions of syntax and semantics; metatheory, including completeness and consistency proofs; modal logic and semantics; logic as a philosophical tool.

Cross Listed COSC 5420/PHIL 5420.
Dual Listed MATH 4420.

Prerequisite: PHIL 3420 or equivalent; graduate standing.