| 000 | 00863 a a2200241 04500 | ||
|---|---|---|---|
| 001 | 12182 | ||
| 003 | CoBo-ECI | ||
| 005 | 20230124075509.0 | ||
| 008 | 150723b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0486432289 | ||
| 082 | 0 |
_a511.3 _bU533 |
|
| 245 | 0 |
_aThe undecidable: _bbasic papers on undecidable propositions, unsolvable problems and computable functions / _cedited by Martin Davis |
|
| 260 | 4 |
_aMineola: _bDover Publications, _c1993 |
|
| 300 | 4 | _a413 p. | |
| 504 | 4 | _aIncluye bibliografía al final de cada capítulo e indice p. 434 | |
| 650 |
_aINSOLUDIBILIDAD (LOGICA MATEMATICA) _916061 |
||
| 650 |
_aFUNSIONES RECURSIVAS _916062 |
||
| 650 |
_aMAQUINA DE TURING _916063 |
||
| 650 |
_aTEOREMA DE GEDEL _916064 |
||
| 700 | 4 | 0 |
_aDavis, Martin _eEd. _916065 |
| 942 |
_2ddc _cBK |
||
| 999 |
_c10988 _d10988 |
||