The logic works : version 4.0 ; student manual / Rob R. Brady. Bowling Green, Ohio : Philosophy Documentation Center, 1990