| 000 | 00753nam a2200241za 4500 | ||
|---|---|---|---|
| 003 | BCEG | ||
| 005 | 20170701191006.0 | ||
| 008 | 060820s2003||||sp# |||gr|||||||0#||spa|d | ||
| 020 | _a8497321820 | ||
| 040 |
_aBCEG _bspa _cBCEG |
||
| 082 | 0 | 4 |
_a511.3 _bP192l _221a ed. |
| 100 | 1 | _aPaniagua Arís, Enrique. | |
| 245 | 1 | 0 |
_aLógica computacional _c/ Enrique Paniagua Arís, Juan Luis Sánchez González, Fernando Martín Rubio |
| 260 |
_aMadrid : _bThomson, Paraninfo, _c2003. |
||
| 300 | _a205 p. | ||
| 650 | 1 | 4 | _aLógica simbólica y matemática. |
| 650 | 1 | 4 | _aComplejidad computacional. |
| 700 | 1 |
_aSánchez González, Juan Luis, _ecoaut. |
|
| 700 | 1 |
_aMartín Rubio, Fernando, _ecoaut. |
|
| 001 | 26419 | ||
| 901 | _a20060911143055.0 | ||
| 942 | _cBK | ||
| 999 |
_c16681 _d16681 |
||