Contents
Catalog Links
Share
Share this page on Facebook Share this page on Twitter Email this page
Print this page
Philosophy

PHIL 219 Intermediate Logic

Natural deduction and semantics of first order predicate logic. Metatheory, including completeness theorems for propositional and predicate logic.

Requirements

Prerequisite(s): PHIL 9. Enrollment is restricted to graduate students.

Credits

5

Instructor

The Staff