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 |