| 000 | 01670cam a2200421 i 4500 | ||
|---|---|---|---|
| 001 | 39005 | ||
| 003 | ES-MaUEC | ||
| 005 | 20230102105310.0 | ||
| 008 | s1999 sp 000 0 spa u | ||
| 017 | _aVA.127-1999 | ||
| 020 | _a8481642916 (obra completa) | ||
| 020 | _a8481643173 (T. 1) | ||
| 035 | _aSirsi) i9788481643176 | ||
| 040 | _aES-MaUEC | ||
| 041 | 0 | _aspa | |
| 050 | 4 |
_aBC50 _b.F35 1999 |
|
| 080 | _a16 | ||
| 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 |
_a482 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 | |
| 504 | _apáginas 477-482 | ||
| 505 | _gTomo 1 | ||
| 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.b1045343x _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. 1 _g1 _i9300574740 _j0 _lmcg _nSTAFF. 45823 _o- _pEUR22.95 _q- _r- _s- _t1 _u6 _v0 _w0 _x0 _y.i10606877 _z06-01-12 |
||
| 945 |
_aBC50 .F35 _b1999 _cT. 1 _g2 _i9300574796 _j0 _lmcg _nSTAFF. 45825 _o- _pEUR22.95 _q- _r- _so _t2 _u0 _v0 _w0 _x0 _y.i10606889 _z06-01-12 |
||
| 999 |
_c39005 _d39005 |
||