| 000 | 00946Cam#a2200253#a#4500 | ||
|---|---|---|---|
| 001 | 006733 | ||
| 005 | 20160721144104.0 | ||
| 008 | 000915s2000||||xxua |#| #00|#0#eng#d | ||
| 020 | _a0534546447 | ||
| 040 | _aAR-beUNQ | ||
| 099 | _a20-E6 | ||
| 100 | 1 | _aEpstein, Richard L. | |
| 245 | 0 | 2 |
_aComputability : _bcomputable functions, logic, and the foundations of mathematics _cRichard L. Epstein, Walter A. Carnielli. |
| 250 | _a2a. ed. | ||
| 260 |
_aBelmont : _bWadsworth/Thomson Learning, _c2000 |
||
| 300 |
_a299 p. : _bgráficos, tablas |
||
| 500 | _aWith Computability and undecidability - a timeline, the story of the developmentof computable functions and the undecidability of arithmetic to 1970, Richard L. Epstein | ||
| 650 | 7 |
_aFUNCIONES ESPECIALES _2Spines |
|
| 650 | 7 |
_aMATEMATICAS _2Spines |
|
| 653 | _aLOGICA SIMBOLICA | ||
| 700 | 1 | _aCarnielli, Walter A | |
| 929 |
_aCOMPRA _bCEI _d15,00E _e20000613 _j28168 |
||
| 942 |
_cLIB _n0 |
||
| 999 |
_c9443 _d84830 |
||