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.