TY - BOOK AU - TI - Fundamentos de lógica simbólica: El cálculo de deducción Natural, SN - 1881713709 AV - BC135 .M37 PY - 1998/// CY - Río Piedras P.R. PB - Publicaciones Puertorriqueñas KW - Logic KW - Local KW - Logic, Symbolic and mathematical N1 - Bibliography : p. [275]-276 ER -