00695nam a2200169Ia 450000500170000000800410001702000120005808200120007010000320008224500460011425000120016026000320017230000070020450502890021194200080050099900170050820241209164331.0241209s9999 xx 000 0 und d afca7984 a510/G18 aGalicia Arrambide, Moisés 0aIntroducción a la Lógica Matemática a1a. ed. aMéxicobMcGraw-Hillc1976 a91 aIntroducción, intuición y deducción. Preposiciones. Funciones proporcionales y cuantificadores. Proposiciones compuestas. Fórmulas. Algebra de proposiciones. Argumentos válidos. Métodos generales de demostración: Directo e Indirecto. Respuestas a problemas seleccionados yLIB c24517d24517