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