PHL 515 - Symbolic Logic

[4 credit(s)]

Prerequisite: PHL 131 or equivalent, or permission of instructor. A thorough study of predicate logic with identity and an introduction to the study of logical theory.