|
Mar 29, 2024
|
|
|
|
University of Alberta Calendar 2016-2017 [ARCHIVED CATALOG]
|
PHIL 420 - Metalogic ★ 3 (fi 6) (either term, 3-0-0) 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.
|
|