000 | 00961nam a2200277uar4500 | ||
---|---|---|---|
001 | 000086533 | ||
005 | 20240519152609.0 | ||
008 | 040830s1999 sp a fr 000 0 spa d | ||
020 | _a8481642916 | ||
082 | 0 | 4 |
_a511.3 _bFAL 1999 |
100 | 1 | _aFalguera López, José L. | |
245 | 1 | 0 |
_aLógica clásica de primer orden _bestrategias de deducción, formalización y evaluación semantica _cJosé L. Felguera López, concepción Martínez Vidal |
264 |
_aEspaña _bTrotta _c1999 |
||
300 |
_a482 p. _bil. _c23 cm. |
||
440 | 0 | _aColección estructura y procesos, serie filosofía | |
504 | _aIncluye: Bibliografía p. 477-482 | ||
650 | 1 | 4 | _aLógica formal |
650 | 2 | 4 | _aLogica matematica |
905 | _alibros | ||
944 | _aGLOBAL | ||
950 | _c20040830 | ||
950 | _c20060109 | ||
950 | _c20111027 | ||
950 | _c20230914 | ||
999 |
_c186234 _d186234 |