TY  - BOOK
AU  - Manzano,María
AU  - Huertas,Antonia
TI  - Lógica para principiantes / 
SN  - 84-206-4570-2
PY  - 2006///
CY  - Madrid : 
PB  - Alianza, 
KW  - LOGICA
KW  - LENGUAJE
N1  - I. Lógica proporcional; 1. Introducción general. -- 2. El lenguaje de la lógica proporcional. -- 3. Semántica. -- 4. Tableaux semánticos. -- 5. Otros cálculos proporcionales.; II. Conjunto y diagramas; 6. Teoría básica de conjuntos. -- 7. Diagramas de Venn. -- 8. Relaciones y funciones; III. Lógica de primer orden; 9. El lenguaje de la lógica de primer orden. -- 10. Semántica. -- 11. Tableaux para lógica de primer orden. -- 12. Otros cálculos de primer orden.; IV. Apéndices:; A. Fundamentos de la Lógica en el siglo XX. -- B. Glosario e Índice alfabético. -- C. Metateoremas semánticos. -- D. Corrección y completud. -- Bibliografía.
ER  -