01472 a2200193 4500 54969 20260407155825.0 260407a1964 arg spa d AR-UNSa-BCEJYS AR-UNSa-BCEJYS spa AR-UNSa-BCEJYS 161/162 Principios fundamentales de la lógica Introducción a la lógica y al análisis formal Barcelona : Ediciones Ariel 1964 316 p. 24 cm. 1. Noción de la lógica formal – 2. La lógica formal en la investigación de fundamentos – 3. El ideal del lenguaje bien hecho – 4. Las categorías lógicas – 5. La composición de enunciados. Lógica de enunciados – 6. La estructura de los enunciados atómicos. Lógica de predicados – 7. Presentación axiomática del cálculo de predicados de primer orden – 8. La deducción a partir de permisos – 9. Técnica de la deducción natural. Algunos teoremas – 10. Formas normales. Comparación del sistema axiomático con el cálculo de la deducción natural – 11. Rendimiento del cálculo lógico elemental – 12. La lógica de predicados de orden superior y el teorema de incompletud de Godel – 13. Decidibilidad en la lógica elemental – 14. Lógica de clases – 15. Lógica de relaciones – 16. La división y la definición – 17. El análisis formal de la inducción BK niveau_biblio:m niveau_hierar:0 Sacristán Luzón, Manuel 5855 5855 0 0 0 0 BCEJYS BCEJYS 16 2026-04-07 0 161/162 S123 L21747 2026-04-07 15:58:25 2026-04-07 L