TY - BOOK AU - Miller, Arthur R. TI - Introducing formal logic : text and workbook SN - 0-536-58221-1 U1 - 160 M6471i2 1992 PY - 1992/// CY - Needham Heights, Massachusetts PB - Ginn Press KW - Lógica ER -