| 000 | 00787 a2200241 04500 | ||
|---|---|---|---|
| 001 | 7296 | ||
| 008 | 050604s1982 eng d | ||
| 020 | _a0486614719 | ||
| 041 | 0 | _aeng | |
| 082 | 0 |
_a511.3 _bD194c |
|
| 100 | 4 | 0 |
_aDavis, Martin _917270 |
| 245 | 0 |
_aComputability and unsolvability/ _cMartin Davis |
|
| 260 | 4 |
_aNew York: _bDover Publications _c1982. |
|
| 300 | 4 | _a248 p. | |
| 490 | _aMcGraw-Hill Series in Information Processing and Computers | ||
| 500 | 4 | _aContiene bibliografía e índice p. 237 | |
| 650 |
_aINSOLUBILIDAD (LOGICA MATEMATICA) _945967 |
||
| 650 |
_aALGORITMOS _945968 |
||
| 650 |
_aFUNCIONES RECURSIVAS _945969 |
||
| 650 |
_aCALCULO NUMERICO _945970 |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c7288 _d7288 |
||