TY - BOOK AU - Barry Vincent E. TI - Practical logic SN - 0030568368 (hbk) U1 - R1, M0-;1 PY - 1980/// CY - New York PB - Holt, Rinehart and Winston U.S.A KW - PHILOSOPHY ER -