Documentos disponibles escritos por este autor

Logica simbolica / Irving M. Copi (1979) / 978-968-260-134-7

ISBD 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 .

Reserva

Reservar este documento

Ejemplares

Pedir por	Ubicación	Sección	Estado	Donante Especial
16 C783l	Biblioteca Provincial Dr. Victorino de la Plaza	General	Disponible