TY  - BOOK
AU  - Copi,Irving M.
AU  - Sestier Bouclier,Andrés
TI  - Lógica simbólica
SN  - 9682601347
AV  - BC135 .C6 1979
PY  - 1979///
CY  - México
PB  - Continental
KW  - Lógica matemática
KW  - Álgebra abstracta
N1  - Título original: Symbolic logic; 1. La introducción: La lógica y el lenguaje.-- 2. Argumentos que contienen enunciados compuestos.-- 3. El método de deducción.-- 4. Funciones proposicionales y cuantificadores.-- 5. La lógica de las relaciones.-- 6. Sistemas deductivos.-- 7. Un cálculo proposicional.-- 8. Sistemas y notaciones alternativos.-- 9. Un cálculo funcional de primer orden; Cbi
ER  -