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.
Teresa Robertson
3.3