Topics in Formal Logic
Selected topic regarding logical theory or metatheory, such as the completeness of formal systems, non-standard logics, computability, foundational issues regarding mathematics.
Outcomes: Students will develop an advanced understanding of the selected topic in formal logic.
Outcomes: Students will develop an advanced understanding of the selected topic in formal logic.