000 01020nam a2200289 i 4500
999 _c34748
_d34748
003 ES-OvSMB
005 20250507092351.0
007 ta
008 990514s1999 sp 000 spa
017 _aVA 127-1999
_bOficina Depósito Legal Valladolid
020 _a8481642916 (O.C.)
020 _a8481643181 (Tomo 2)
035 _a(OCoLC)41286449
040 _aSpMaUCFS
_dUNAV
_dUSD
_bspa
080 _a164(035)
100 1 _aFalguera López, José Luis.
_9114472
245 1 0 _aLógica clásica de primer orden :
_bestrategias de deducción, formalización y evaluación semántica (Soluciones a los ejercicios) /
_cJosé L. Falguera López, Concepción Martínez Vidal.
260 _aMadrid :
_bTrotta,
_cD.L. 1999.
300 _a167 p. ;
_c23 cm.
490 0 _aColección Estructuras y procesos. Serie Filosofía.
590 _aLógica I.
650 0 4 _aLógica
_vTratados, manuales, etc.
_9114473
700 1 _aMartínez Vidal, Concepción.
_9114474
852 _aOSM
942 _2cdu
_cMON
_n0
954 _aMQA