Deduction : Introductory symbolic logic - Bonevac, Daniel (Mayfield Publishing Company, 1987)