000 01532 a2200421 4500
005 20241111133621.0
901 _a20040805
_t09:49:28 a.m.
_bRamónD
901 _a20040809
_t11:16:02 a.m.
_bRamónD
901 _a20040817
_t11:22:51 a.m.
_bPclaudia
901 _a20040916
_t09:45:17 a.m.
_bPclaudia
901 _a20040922
_t18:33:21
_bOalexander
901 _a20041001
_t8:14:25
_bYamarisU
650 _aLÓGICA FORMAL - INTRODUCCIÓN
_9519222
942 _cLIB
440 _aManuales/Filosofía y Pensamiento
_n035
_9519223
505 _aLógica: teoría y ejercicios.
505 _aConceptos generales: lenguaje, metalenguaje, sintaxis, semántica, pragmática, cálculo.
505 _aLógica proposicional: como sistema axiomático y como sistema de reglas de inferencia.
505 _aLógica de predicados de primer orden: predicados monádicos, relaciones e identidad, reglas de inferencia.
505 _aApéndice: lógica de predicados de orden superior
505 _aMetateoría
505 _aLógicas no clásicas
505 _aLógica, lingüística y psicología
505 _aLógica formal y filosofía.
100 _aDeaño, Alfredo
_9149778
245 _aIntroducción a la lógica formal
260 _aMadrid
_bAlianza
_c1999
300 _a424 p.
_c24 cm.
001 @AAA5636
017 _aS. 786-1999
020 _a84-206-8681-6
041 _aEspañol
041 _aEspañol
043 _asp
044 _aEspaña
082 _a160
_bDEA
_c1999
901 _a20041001
_t8:16:04
_bYamarisU
999 _c4368
_d4368