000			01472 a2200193 4500
001			54969
005			20260407155825.0
008			260407a1964 arg spa d
003			AR-UNSa-BCEJYS
040			_aAR-UNSa-BCEJYS _bspa _cAR-UNSa-BCEJYS
080			_a161/162 _xPrincipios fundamentales de la lógica
245	1	0	_aIntroducción a la lógica y al análisis formal
264		1	_aBarcelona : _bEdiciones Ariel _c1964
300			_a316 p. _c24 cm.
505			_a1. 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			_cBK
590			_aniveau_biblio:m niveau_hierar:0
100	1		_aSacristán Luzón, Manuel
999			_c5855 _d5855