| 000 | 01280n a2200325#a 4500 | ||
|---|---|---|---|
| 001 | 4748 | ||
| 005 | 20231127103850.0 | ||
| 008 | 810210s1980 enka b 100 0 eng d | ||
| 010 | _a80041215 | ||
| 020 | _a052123543X | ||
| 035 | _aocm07116205 | ||
| 035 | _aRecord 09451 | ||
| 040 |
_aYSM _cYSM _dDLC |
||
| 049 | _aP5AA | ||
| 082 | 0 | 0 |
_a511.352 _bR311 |
| 090 | _alf2cs | ||
| 245 | 1 | 0 |
_aRecursion theory: _bits generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979/ _cedited by F. R. Drake and S. S. Wainer. |
| 260 |
_aCambridge, UK _aNew York: _bCambridge University Press, _c1980. |
||
| 300 |
_a319 p.: _bill.; _c23 cm. |
||
| 490 | 1 |
_aLondon Mathematical Society lecture note series; _x0076-0552; _v45. |
|
| 504 | _aIncludes bibliographical references. | ||
| 650 | 0 | 0 |
_aRecursion theory- _xCongresses. _928098 |
| 650 | 0 | 4 |
_aRecursive functions- _xCongresses. _927766 |
| 697 |
_aLógica e Fundamentos 02- _bCongressos e Seminários- _xLógica Matemática e Funções Recursivas _923784 |
||
| 700 | 1 |
_aDrake, F. R. _q(Frank Robert) _939490 |
|
| 700 | 1 |
_aWainer, S. S. _939476 |
|
| 711 | 2 |
_aLogic Colloquium _d(1979 : _cLeeds, Yorkshire) _928392 |
|
| 830 | 0 |
_aLondon Mathematical Society lecture note series; _v45. _97320 |
|
| 942 |
_2impa _cBK |
||
| 999 |
_c5845 _d5845 |
||