| 000 | 01208n a2200337#a 4500 | ||
|---|---|---|---|
| 001 | 4253 | ||
| 005 | 20240404163320.0 | ||
| 008 | 740731s1974 ne b 101 0 eng | ||
| 010 | _a73081531 //r79 | ||
| 015 | _aNe74-18 | ||
| 020 | _a044410545X (American Elsevier) | ||
| 035 | _aocm01007181 | ||
| 035 | _aRecord 08516 | ||
| 040 |
_aDLC _cDLC |
||
| 049 | _aP5AA | ||
| 082 | 0 | 4 |
_a511.3 _bG326 |
| 090 | _alf4 | ||
| 111 | 2 |
_aSymposium on Generalized Recursion Theory _n(1st : _d1972 : _cUniversity of Oslo) _928101 |
|
| 245 | 1 | 0 |
_aGeneralized recursion theory. _bProceedings of the 1972 Oslo symposium/ _cEd. by J. E. Fenstad and P. G. Hinman. |
| 260 |
_aAmsterdam ; _bNorth-Holland, _aNew York: _bAmerican Elsevier, _c1974. |
||
| 300 |
_aviii, 456 p.: _c23 cm. |
||
| 500 | _aIncludes 12 papers from the symposium. | ||
| 504 | _aBibliography: p. 445-451. | ||
| 650 | 0 | 4 |
_aRecursion theory- _xCongresses. _928098 |
| 697 |
_aLógica e Fundamentos 04- _x"Studies in Logic" _923801 |
||
| 700 | 1 |
_aFenstad, Jens Erik _eed. _945685 |
|
| 700 | 1 |
_aHinman, Peter G. _eed. _940706 |
|
| 942 |
_2impa _cBK |
||
| 999 |
_c5367 _d5367 |
||
| 490 | 0 |
_aStudies in logic and the foundations of mathematics, _vv. 79. _944413 |
|