An introduction to the concepts and methods of moder symbolic logic. Emphasis is placed on problems of translating english expressions into logical symbols and on the development of skills in using the formal proof procedures of sentential and predicate logic.
4
UnitsOptional
Grading1
PasstimeNone
Level LimitLetters and science
College