TY - BOOK AU - Rosales Papa, Diogenes AU - Gortay, Eli de (Traducción) TI - Introducción a la lógica U1 - 160 / 2ed. PY - 1988/// CY - Lima PB - Amaru KW - Lógica KW - Formal KW - Proposiciones N1 - Contenido : Lógica proposicional -- Símbolos, formulas y expresiones no proposicionales -- Las tablas de valores ... ER -