01323nam a2200265Ia 4500 0 0 lcc 0 0 21 21 2012-06-07 5 BC135 C6718 2009 21 001142 2019-11-08 2019-11-08 1 2012-07-20 LB 0 0 lcc 0 0 21 21 2012-06-07 6 BC135 C6718 2009 21 001143 2017-03-27 2017-03-27 2 2012-07-20 LB 83514 83514 120721r2009 mx 000 0 spa d 9789682601347 BC135 C6718 2009 Copi, Irving M. autor Symbolic Logic español Lógica simbólica / Irving M. Copi ; Traducción Andrés Sestier Boulier 2a edición México : Patria , 2009 407 páginas ; 23 cm. Vigésima sexta reimpresión. Indice alfabético. Lógica y lenguaje. Argumentos que contienen enunciados compuestos. El método de la deducción. Funciones proposicionales y cuantificadores. La lógica de las relaciones. Sistemas deductivo. Un cálculo proposicional. Sistemas y notaciones alternativos. Un cálculo funcional de primer orden. Plan UNAM / Preparatoria / Lógica (1404-2) / (21 001142, 21 001143) LÓGICA, SIMBOLICA Y MATEMÁTICA INTELIGENCIA ARTIFICIAL Sestier Boulier, Andrés traductor LB lcc