TY - BOOK AU - 47 TI - Deduction Intreoduction Symbolic Logic SN - 0874847729 ER -