Introducción a la lógica y al análisis formal / (Record no. 4869)
[ view plain ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 01709nam a22002537a 4500 |
| 005 - FECHA Y HORA DE ACTUALIZACIÓN | |
| 005 | 20200926183324.0 |
| 008 - LONGITUD FIJA | |
| campo de control de longitud fija | 131105b ck ||||| |||| 00| 0 spa d |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| Centro catalogador/agencia de origen | CO-NeUS |
| Lengua de catalogación | español |
| Normas de descripción | rda |
| 100 1# - AUTOR PERSONAL | |
| nombre | Sacristan Luzón, Manuel |
| 9 (RLIN) | 81264 |
| 245 10 - TÍTULO PROPIAMENTE DICHO | |
| título | Introducción a la lógica y al análisis formal / |
| Mención de responsabilidad, etc. | Manuel Sacristan Luzón |
| 264 ## - PIE DE IMPRENTA | |
| lugar (ciudad) | Barcelona : |
| editorial | Ariel, |
| fecha | 1973 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 316 página. |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | La 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 04 - CLASIFICACIÓN DECIMAL DEWEY | |
| Clasificación | 510.1 / |
| Clave de autor | S123i |
| 650 14 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Logica matematica |
| 9 (RLIN) | 115236 |
| 942 ## - PUNTO DE ACCESO ADICIONAL KOHA | |
| Fuente del sistema de clasificación o colocación | |
| Tipo de ítem koha | Libros |
| Parte de la signatura que corresponde a la clasificación (Parte de la clasificación) | 510.1 / |
| Sufijo de la signatura | S123i |
No items available.