PHLÂ 302. Symbolic Logic. 3 Hours
Concentrated study of the valid forms of deductive argument and proof in propositional logic and in predicate logic; study of formal systems and of logic and language.
Prerequisite(s): PHL 103 or ASI 120 or equivalent.


Comments