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