|
|
|
|
| LEADER |
02127nam a2200301a 44500 |
| 001 |
UBP08662 |
| 003 |
AR-CdUBP |
| 005 |
20220310154626.0 |
| 008 |
151212s1973#######|||||||||||||||||spa|d |
| 020 |
|
|
|a 84-344-3901-8
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|
| 041 |
|
|
|a spa
|
| 100 |
|
|
|a Sacristán Luzón, Manuel
|
| 245 |
1 |
0 |
|a Introducción a la lógica y al análisis formal /
|c Manuel Sacristán Luzón
|
| 250 |
|
|
|a 1ª. ed.
|
| 260 |
|
|
|a Barcelona :
|b Ariel,
|c 1973
|
| 300 |
|
|
|a 316 p. ;
|c 23 cm.
|
| 490 |
0 |
|
|a Colección convivium
|
| 504 |
|
|
|a Bibliografía: p. 309-311
|
| 505 |
0 |
|
|a PARTE PRIMERA. La lógica formal y las ciencias reales. Categorías lógicas. Capítulo I. Noción de la lógica formal. Capítulo II. La lógica formal en la investigación de fundamentos. Capítulo III. El ideal del lenguaje bien hecho. Capítulo IV. Las categorías lógicas. PARTE SEGUNDA. El sistema de la lógica elemental. El lenguaje de la lógica elemental. Capítulo V. La composición de enunciados. Lógica de enunciados. Capítulo VI. La estructura de los enunciados atómicos. Lógica de predicados. El sistema de la lógica elemental. Capítulo VII. Presentación axiomática del cálculo de predicados de primer orden. Capítulo VIII. La deducción a partir de premisas. Capítulo IX. Técnica de la deducción natural. Algunos teoremas. Capítulo X. Formas normales. Comparación del sistema axiomático con el cálculo de la deducción natural. PARTE TERCERA. Limitaciones y alcance del cálculo lógico. Capítulo XI. Rendimiento del cálculo lógico elemental. Capítulo XII. La lógica de predicados de orden superior y el teorema de incompletitud de Godel. Capítulo XIII. Decidibilidad en la lógica elemental. Capítulo XIV. Lógica de clases. Capítulo XV. Lógica de relaciones. PARTE CUARTA. Lógica formal y metodología. Capítulo XVI. La división y la definición. Capítulo XVII. El análisis formal de la inducción.
|
| 650 |
|
4 |
|a LOGICA
|
| 653 |
|
|
|a EPISTEMOLOGIA
|
| 930 |
|
|
|a EPISTEMOLOGIA
|
| 931 |
|
|
|a 08662
|b UBP
|
| 942 |
|
|
|2 cdu
|c BK
|
| 945 |
|
|
|a EBA
|
| 984 |
|
|
|a 164.01
|b Sa149
|
| 999 |
|
|
|c 24134
|d 24134
|