Phl 325U Introduction to Formal Logic II, Predicate Logic
An extension of the topics in
Phl 324U to include topics such as truth trees, expressive adequacy, and meta-theory (soundness and completeness). Other topics may include modal logic, probabilistic logic, non-classical logics, logic circuits, and computability theory.