| 000 | 01104nam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | vtls000075216 | ||
| 003 | NLI | ||
| 005 | 20210601193733.0 | ||
| 008 | 101125s1974 ne 101 0 eng | ||
| 020 |
_a0720422760 : _cf 85.00 |
||
| 039 | 9 |
_y201011250800 _zVLOAD |
|
| 040 | 0 |
_aNLI _beng _cEntertech-2003 _eAACR2 |
|
| 041 | 0 | _aeng | |
| 044 | _ane | ||
| 082 | 0 | 4 | _a164 |
| 111 | 2 |
_aSymposium on Generalized Recursion Theory _d(1972: _cOslo) _9179508 |
|
| 245 | 1 | 0 |
_aGeneralized recursion theory : _bproceedings of the 1977 Oslo symposium / _cedited by J. E. Fenstad and P. G. Hinman |
| 260 |
_aAmsterdam : _bNorth-Holland Pub., _cc1974 |
||
| 300 |
_avii, 456 p. ; _c22 cm. |
||
| 440 | 0 |
_aStudies in logic and the foundations of mathematics ; _vv. 94 |
|
| 504 | _aIncludes bibliographical references and index | ||
| 650 | 0 |
_aRecursion theory _9133523 |
|
| 700 | 1 |
_aFenstad, J. E, _4edt _9179509 |
|
| 700 | 1 |
_aHinman, P. G, _4edt _9179510 |
|
| 887 | _a | ||
| 901 |
_a411988 _b20.11.1974 |
||
| 902 | _aE164 Sy68 | ||
| 949 |
_AVIRTUAITEM _D10000 _X100 _6PUR000411988ENG |
||
| 942 |
_2ddc _cBKS |
||
| 999 |
_aVIRTUA00 _c80478 _d80478 |
||