PY304
 Advanced Formal Logic
 0.5
A study of logic which will focus on theoretical considerations
(e.g. soundness, completeness and decision procedures) and their
relationship to problems in logic, philosophy, philosophy of
logic and philosophy of mathematics. Model theory, modal
logic, set theory, predicate logic and many-valued logic are
possible topics of discussion.   
Prerequisite: PY204 or MA121 (or permission of the Department).