TY  - BOOK
AU  - Copi, Irving M.
AU  - Sestier Boulier, Andrés
TI  - Lógica simbólica: / Irving M. Copi ;  Traducción Andrés Sestier Boulier
SN  - 9789682601347
AV  - BC135 C6718 2009
PY  - 2009///
CY  - México
PB  - : Patria
KW  - LÓGICA, SIMBOLICA Y MATEMÁTICA
KW  - INTELIGENCIA ARTIFICIAL
N1  - 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.
ER  -