PHIL 460 - Advanced Logic

Spring (3) Gert Prerequisite(s): PHIL 301 or consent of instructor (NQR)

Systematic investigation of topics in logic drawn from such areas as system construction, proof theory, modal and deontic logic, and abstract set theory.