Formal logic - JEFFREY, Richard C. (by South-Western Publishing co, 1988)