000			01666nam a2200349 4500
003			EC-UNACH
005			20260313154115.0
006			s||||gr|||| 00| 00
008			150116t9999 mx r gr 000 0 spa d
020			_a84-7897-619-1
040			_aEC-UNACH _cEC-UNACH
041			_aEspañolQuinta
082	0	4	_223 _a005.1 _bL018589
100			_aIranzo Pascual J.
245			_aLógica Simbólica para Informáticos
250			_aPrimera Edición _bQuinta Reimpresión
264			_aMadrid - España _bALFAOMEGA Grupo Editor S.A. de C.V. _c2005
300			_a299 páginas _bTablas, figuras, _c22.5 x 17 centímetros
501			_aIncluye Dedicatoria, Índice general, Índice de figuras, Índice de tablas, Prólogo, Apéndice A Fundamentos Matemáticos, Apéndice B Notaciones para los Operadores Lógicos, Apéndice C Reglas de Inferencia
505			_aPrólogo, Introducción a la Lógica -- I. Lógica de Proposiciones -- 2. Semántica -- 3. Cálculo Axiomático y propiedades formales -- 4. Cálculo de Deducción Natural -- II. Lógica de Predicados -- 5. Semántica -- 6. Cálculo Axiomático y Propiedades Formales -- 7. Cálculo de Deducción Natural -- III. Extensiones y Otras Lógicas -- 8. Extensiones de la lógica de predicados -- 9. Otras Lógicas
650			_aLÓGICA SIMBÓLICA
650			_aVALORACIÓN Y EQUIVALENCIA LÓGICA
650			_aSISTEMA DE DEDUCCIÓN NATURAL
650			_aLÓGICA TEMPORAL
700			_aPascual , Iranzo _eAutor
942			_2ddc _c1
999			_c14388