000 | 01709nam a22002537a 4500 | ||
---|---|---|---|
999 |
_c4869 _d4869 |
||
005 | 20200926183324.0 | ||
008 | 131105b ck ||||| |||| 00| 0 spa d | ||
040 |
_aCO-NeUS _bspa _erda |
||
100 | 1 |
_aSacristan Luzón, Manuel _981264 |
|
245 | 1 | 0 |
_aIntroducción a la lógica y al análisis formal / _c Manuel Sacristan Luzón |
264 |
_aBarcelona : _bAriel, _c1973 |
||
300 | _a316 página. | ||
505 | 0 | 0 | _aLa lógica formal y las ciencias reales. Categorías lógicas -- Noción de la lógica formal -- La lógica formal en la investigación de fundamentos -- El ideal del lenguaje bien hecho -- Las categorías lógicas -- El sistema de la lógica elemental -- La composición de enunciados. Lógica de enunciados -- La estructura de los enunciados atómicos. Lógica de predicados -- El sistema de la lógica elemental -- Presentación axiomática del cálculo de predicados de primer orden -- La deducción a partir de premisas -- Técnica de la deducción natural. Algunos teoremas -- Formas normales. Comparación de sistema axiomático con el cálculo de la deducción natural -- limitaciones y alcance del cálculo lógico -- las limitaciones del cálculo lógico -- rendimiento del cálculo lógico elemental -- La lógica de predicados de orden superior y el teorema de incompletitud de Gödel -- Decidibilidad en la lógica elemental -- El alcance analítico del cálculo lógico -- Lógica de clases -- Lógica de relaciones -- Lógica formal y metodología -- La división y la definición -- El análisis formal de la inducción -- Bibliografía |
082 | 0 | 4 |
_a510.1 / _b S123i |
650 | 1 | 4 |
_aLogica matematica _9115236 |
942 |
_2ddc _cCG _h510.1 / _m S123i |