COSC 4420 - 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 MATH 4420/PHIL 4420.
Dual Listed COSC 5420.

Prerequisite: PHIL 3420 or equivalent.