Advanced Logic. (3-0) 3 Credit Hours

Catalog description

Prerequisites: Graduate standing and consent of the graduate advisor. Rigorous definitions of syntax and semantics. Proofs of soundness and completeness of sentential and predicate logics; other topics in metatheory. May include extensions of and alternatives to classical logic and the philosophical significance of logic and metalogical results. May be repeated for credit when the topics vary. Course Fee: GL01 $90; STLF $18.48.