000 | 00601nam a2200193Ia 4500 | ||
---|---|---|---|
008 | 131122s9999 xx 000 0 und d | ||
040 | _aISI KOLKATA | ||
041 | _aEnglish | ||
082 |
_a510.1 _bSy989 |
||
100 | _aFenstad J E ed. | ||
111 |
_aSymposium on Generalized Recursion Theory( 2nd : 1977 : Oslo ) _c, |
||
245 |
_aGeneralized recursion theory II _bproceedings |
||
260 |
_aAmsterdam _bNorth Holland _c1978 |
||
300 | _avii,417p. | ||
440 | _astudies in logic and the foundations of mathematics; v 94 | ||
650 | _aMathematical logic | ||
650 | _aRecursion theory | ||
942 | _cBK | ||
999 |
_c106606 _d106606 |