Logica simbolica [texto impreso] / Irving M. Copi, Autor ; Andres Sestier Bouclier  . -  1a. ed. . - México (México) : Compañía Editorial Continental, 1979 . - 407 p. ; 22 cm.
ISBN : 978-968-260-134-7
Idioma : Español (spa)

Clasificación:	Logic
Clasificación:	16 Lógica
Nota de contenido:	1. Introduccion: 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 . Apendice A: formas normales y expansiones booleanas -- Apéndice B: El algebra de clases -- Apendice C: La teoría ramificada de los tipos -- Soluciones de ejercicios selectos -- Símbolos especiales -- Reglas de cuantificación -- Reglas de Interferencia .