<< back PHI-214 Introduction to Logic3 credits An introduction to symbolic logic through first order predicate logic.