000 | 01288 a2200409 4500 | ||
---|---|---|---|
005 | 20241111133951.0 | ||
040 | _aiter-ucab | ||
901 |
_a20040806 _t09:04:55 a.m. _bRamónD |
||
901 |
_a20040806 _t09:11:05 a.m. _bRamónD |
||
901 |
_a20040809 _t11:32:20 a.m. _bRamónD |
||
901 |
_a20040812 _t09:25:21 a.m. _bPclaudia |
||
901 |
_a20040916 _t09:19:06 a.m. _bPclaudia |
||
901 |
_a20041001 _t8:09:08 _bYamarisU |
||
001 | @AAB1429 | ||
017 | _aM. 35.259-1991 | ||
020 | _a84-323-0730-0 | ||
041 | _aEspañol | ||
043 | _asp | ||
044 | _aEspaña | ||
082 |
_a160 _bPÉR _c1991 |
||
100 |
_aPérez Sedeño, Eulalia _9221934 |
||
245 | _aEjercicios de lógica | ||
260 |
_aMadrid _bSiglo Veintiuno de España _c1991 |
||
300 |
_a137 p. _c21 cm. |
||
440 |
_aManuales/Lógica _9533140 |
||
505 | _aEjercicios de lógica. | ||
505 | _aTipos de discurso | ||
505 | _aFormalización de lógica proposicional | ||
505 | _aMétodo de validación | ||
505 | _aDeducción natural (pruebas formales) | ||
505 | _aSimbolización de predicados de primer orden | ||
505 | _aCálculo de árboles. | ||
650 |
_aFILOSOFÍA - LÓGICA - EJERCICIOS _9533141 |
||
650 |
_aLÓGICA - EJERCICIOS _9533142 |
||
942 | _cLIB | ||
901 |
_a20050412 _t10:30:28 _bYamarisU |
||
999 |
_c8663 _d8663 |