PHIL 302: Topics in Formal Logic

PHIL 302: Studies in Formal Logic

The General Catalog Description

Selected topic regarding logical theory or metatheory, such as the completeness of formal systems, non-standard logics, computability, foundational issues regarding mathematics.