TY - BOOK AU - Gustason, William TI - Elementary symbolic logic U1 - 162 ER -