TY - BOOK AU - Bonevac Daniel TI - Deduction : Introductory symbolic logic. U1 - R12, P3 PY - 2003/// CY - Oxford PB - Blackwell Publishing ER -