000 | 01086nam a2200337 4500 | ||
---|---|---|---|
001 | 012126 | ||
003 | CO-SiCUC | ||
005 | 20160613164350.0 | ||
008 | 141112s1992 ck r 000 u spa d | ||
020 | _a8429151508 | ||
020 | _a9788429151503 | ||
040 |
_aCO-SiCUC _bspa _cCO-SiCUC _erda |
||
041 | 0 | _aspa | |
082 | 0 | 4 |
_a511.3 _bS959p _223 |
100 | 1 |
_aSuppes, Patrick. _912485 |
|
240 | 1 |
_aFirst course in mathematical logic. _lEspañol |
|
245 | 1 | 0 |
_aPrimer curso de lógica matemática / _cPatrick Suppes y Shirley Hill ; versión española por Enrique Linés Escardó. |
246 | 1 | 4 | _aIntroducción a la lógica matemática |
264 | 1 |
_aBarcelona : _bReverté, _c1992 _c[reimpresión 2010]. |
|
300 |
_aix, 278 páginas ; _c21 cm |
||
336 | _2rdacontent | ||
337 | _2rdamedia | ||
338 | _2rdacarrier | ||
500 | _aIncluye índice | ||
590 | _aTodos los programas | ||
650 |
_aLógica matemática _912413 |
||
650 |
_aLógica simbólica _912486 |
||
700 | 1 |
_aHill, Shirley. _912487 |
|
700 | 0 |
_aLinés Escardó, Enrique _etr. _912488 |
|
942 |
_2ddc _cBK |
||
999 |
_c12110 _d12110 |