Deduction : introductory symbolic logic - Bonevac, Daniel 1955- (Mayfield, 1987)