Deduction Introductory symbolic logic. - Bonevac Daniel (Oxford Blackwell Publishing, 2003)