There are currently no scheduled offerings of this course. For more information on when this course may be offered in the future please contact the Registrar's Office.
The theoretical study of formal systems of logic. Topics include formal axiomatic systems, formal syntax and semantics, soundness and completeness proofs for both sentential and predicate logic. Prerequisite: PHIL 220 or consent of Department.