PHIL 460 - Advanced Logic

Credits: (3)
Prerequisite(s): PHIL 301 or consent of instructor
Domain (Anchored): NQR
Systematic investigation of topics in logic drawn from such areas as system construction, proof theory, modal and deontic logic, and abstract set theory.