Introducción a la lógica y al análisis formal (Registro nro. 5855)
[ vista simple ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01472 a2200193 4500 |
| 001 - CONTROL NUMBER | |
| control field | 54969 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260407155825.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 260407a1964 arg spa d |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | AR-UNSa-BCEJYS |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | AR-UNSa-BCEJYS |
| Language of cataloging | spa |
| Transcribing agency | AR-UNSa-BCEJYS |
| 080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
| Universal Decimal Classification number | 161/162 |
| Common auxiliary subdivision | Principios fundamentales de la lógica |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Sacristán Luzón, Manuel |
| 245 10 - TITLE STATEMENT | |
| Title | Introducción a la lógica y al análisis formal |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Barcelona : |
| Name of producer, publisher, distributor, manufacturer | Ediciones Ariel |
| Date of production, publication, distribution, manufacture, or copyright notice | 1964 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 316 p. |
| Dimensions | 24 cm. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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 |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | niveau_biblio:m niveau_hierar:0 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Biblioteca Prof. Eusebio Cleto del Rey | Biblioteca Prof. Eusebio Cleto del Rey | 07/04/2026 | 161/162 S123 | L21747 | 07/04/2026 | 07/04/2026 | Libro |