TY - BOOK AU - Bustamante Arias,Alfonso TI - Lógica y argumentación de los argumentos inductivos a las álgebras de Boole SN - 9786074422092 U1 - 511 PY - 2009/// CY - Colombia PB - Pearson KW - LOGICA MATEMATICA (LOGICA SIMBOLICA) KW - CALCULO PROPOSICIONAL Y DE PREDICADOS N1 - Factura Educativa; 1.- Logica y argumentacion 2.- El silogismo categorico 3.- Logica simbolica. Logica proposicional 4.- Logica Simbolica - Fundamentos de calculo de predicados 5.- Demostracion formal y algebras de Boole; Sistemas de la Información, Ingeniería Civil ER -