Iranzo Pascual J. <br/><br/>
Lógica Simbólica para Informáticos  

 - Primera Edición  Quinta Reimpresión 
 - 299 páginas  Tablas, figuras,   22.5 x 17 centímetros 
<br/><br/>Incluye Dedicatoria, Índice general, Índice de figuras, Índice de tablas, Prólogo, Apéndice A  Fundamentos Matemáticos, Apéndice B  Notaciones para los Operadores Lógicos, Apéndice C  Reglas de Inferencia 
<br/><br/>Prólogo, Introducción a la Lógica -- I. Lógica de Proposiciones -- 2. Semántica -- 3. Cálculo Axiomático y propiedades formales -- 4. Cálculo de Deducción Natural -- II. Lógica de Predicados -- 5. Semántica -- 6. Cálculo Axiomático y Propiedades Formales -- 7. Cálculo de Deducción Natural -- III. Extensiones y Otras Lógicas -- 8. Extensiones de la lógica de predicados -- 9. Otras Lógicas  
<br/><br/><label>ISBN: </label>84-7897-619-1 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LÓGICA SIMBÓLICA<br/>VALORACIÓN Y EQUIVALENCIA LÓGICA<br/>SISTEMA DE DEDUCCIÓN NATURAL<br/>LÓGICA TEMPORAL
<br/><br/><label>Dewey Class. No.: </label>005.1  / L018589