000 01661cam a2200397 i 4500
001 39300
003 ES-MaUEC
005 20230102105320.0
008 s1999 sp 000 0 spa u
017 _aVA.127-1999
020 _a8481642916 (obra completa)
020 _a8481643181 (T. 2)
035 _aSirsi) i9788481643183
040 _aES-MaUEC
041 0 _aspa
050 4 _aBC50
_b.F35 1999
100 1 _aFalguera López, José L.
_928497
_0comprobar BNE19997780697
245 1 0 _aLógica clásica de primer orden :
_bestrategias de deducción, formalización y evaluación semántica
_cJosé L. Falguera López, Concepción Martínez Vidal
260 _aMadrid
_bTrotta
_cD.L. 1999
300 _a167 páginas
_c23 cm
336 _aTexto (visual)
_btxt
_2rdacontent
337 _asin mediación
_bn
_2rdamedia
338 _avolumen
_bnc
_2rdacarrier
490 0 _aEstructuras y procesos . Filosofía
505 _gTomo 2 :
_tSoluciones a los ejercicios
942 _2lcc
_cM1S
650 7 _aLógica matemática
_2embne
_0comprobar BNE19900968744
_9139136
700 1 _aMartínez Vidal, C.
_d1961-
_921754
_0comprobar BNE19961095599
907 _a.b10456764
_b10-11-17
_c06-01-12
998 _a(2)m
_a(2)_vill
_b05-01-12
_cm
_da
_e-
_fspa
_gsp
_h0
945 _aBC50 .F35
_b1999
_cT. 2
_g1
_i9300574802
_j0
_lmcg
_nSTAFF. 45824
_o-
_pEUR22.95
_q-
_r-
_s-
_t1
_u2
_v0
_w0
_x0
_y.i10610911
_z06-01-12
945 _aBC50 .F35
_b1999
_cT. 2
_g2
_i9300574731
_j0
_lmcg
_nSTAFF. 45826
_o-
_pEUR22.95
_q-
_r-
_so
_t2
_u0
_v0
_w0
_x0
_y.i10610923
_z06-01-12
999 _c39300
_d39300