TY - BOOK AU - Bonevac,Daniel TI - Deduction: introductory symbolic logic SN - 063122713X AV - BC71 B663D 2003 PY - 2003/// CY - Malden, Mass. PB - Blackwell KW - LOGIC N1 - Includes bibliographical references and index ER -