|
|
|
|
| LEADER |
01472 a2200193 4500 |
| 001 |
54969 |
| 005 |
20260407155825.0 |
| 008 |
260407a1964 arg spa d |
| 003 |
AR-UNSa-BCEJYS |
| 040 |
|
|
|a AR-UNSa-BCEJYS
|b spa
|c AR-UNSa-BCEJYS
|
| 080 |
|
|
|a 161/162
|x Principios fundamentales de la lógica
|
| 245 |
1 |
0 |
|a Introducción a la lógica y al análisis formal
|
| 264 |
|
1 |
|a Barcelona :
|b Ediciones Ariel
|c 1964
|
| 300 |
|
|
|a 316 p.
|c 24 cm.
|
| 505 |
|
|
|a 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
|
| 942 |
|
|
|c BK
|
| 590 |
|
|
|a niveau_biblio:m niveau_hierar:0
|
| 100 |
1 |
|
|a Sacristán Luzón, Manuel
|
| 999 |
|
|
|c 5855
|d 5855
|