Skip to main content
Home homeCourse Schedule home

5561: Graduate Formal Logic

Prerequisite: Graduate standing; permission of the department. 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.
  • Credits:

Section 001