Studies in Logic
Introduces students to some aspect of formal logic, such as formal systems, axiomatic set theory, mathematical logic, modal logic, tense logic, epistemic logic, deontic logic, formal semantics, and philosophical logic.