01414    a2200157   45000010006000000050017000060080041000230030015000640400040000790800053001192450056001722640039002283000019002675050938002861000032012245496920260407155825.0260407a1964    arg                 spa dAR-UNSa-BCEJYS  aAR-UNSa-BCEJYSbspacAR-UNSa-BCEJYS  a161/162xPrincipios fundamentales de la lógica10aIntroducción a la lógica y al análisis formal 1aBarcelona :bEdiciones Arielc1964  a316 p.c24 cm.  a1. 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   1 aSacristán Luzón, Manuel