Lógica para principiantes /
Manzano, María
Lógica para principiantes / María Manzano, Antonia Huertas. - 1a ed. 2a reimpr. - Madrid : Alianza, 2006. - 422 p. ; 24 cm.
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.
84-206-4570-2
LOGICA
LENGUAJE
160 / M 3
Lógica para principiantes / María Manzano, Antonia Huertas. - 1a ed. 2a reimpr. - Madrid : Alianza, 2006. - 422 p. ; 24 cm.
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.
84-206-4570-2
LOGICA
LENGUAJE
160 / M 3