PHIL 5561: Graduate Formal Logic
Course Description
A rigorous introduction to formal logic that includes sentential calculus, predicate logic, and completeness proofs. May be taken for graduate credit only with permission of the graduate advisor and chair.