An introduction to the notation and proof procedures of symbolic logic with emphasis upon the clarification and development of the notion of a formal language.
Credit 3 hrs May not be repeated for additional credit Grade Mode Normal (A-F) Course Rotation Winter (odd yrs.)