| 000 | 00855nam a22002297a 4500 | ||
|---|---|---|---|
| 999 |
_c32713 _d32713 |
||
| 005 | 20200120124750.0 | ||
| 008 | 120816t riu ||||| |||| 00| 0 eng d | ||
| 020 | _a0821814478 (papel alcalino) | ||
| 050 | 0 | 4 |
_aQA9.6 _bR43 1985 |
| 111 | 2 |
_aProceedings of the AMS-ASL summer institute on recursion theory held at cornell university Ithaca, New York June 28-July 16, _d1982 |
|
| 245 | 1 | 0 |
_aRecursion theory / _cedited by Anil Nerode and Richard A. Shore |
| 250 | _a1a ed. | ||
| 260 |
_aProvidence, Rhode Island : _bAmerican Mathematical Society, _c1985 |
||
| 300 |
_aviii, 528 p. : _bil. ; _c26 cm. |
||
| 490 | 0 |
_aProceeding of symposia in pure mathematics _vV.42 |
|
| 500 | _aIncluye apéndice | ||
| 611 | _hSymposium | ||
| 650 | 7 |
_2Lemb _aRecursion, teoria de la _xDiscursos, ensayos, conferencias |
|
| 650 | 7 |
_2Lemb _aLógica matemática |
|
| 700 | 1 |
_aNerode, anil _eeditor. |
|
| 700 | 1 |
_aShore, Richard A. _eeditor. |
|
| 942 |
_2ddc _cLIB |
||