000 00810nam a2200265Ia 4500
003 OSt
005 20220912151144.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a19562
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB:(R1)p1,N73, L4
100 _aFenstad J E Ed.
111 _aSymposium on generalized recuesion theory (1972 : Osto)
245 0 _aProceeding on generalized recursion theory
260 _aNew York
_b North Holland
_c1974
300 _aviii, 456p.
_ccm.
490 _aStudies in logic and the foundations of mathematics; 79
700 _a Hinman P G Ed.
942 _hB:(R1)p1,N73, L4
_cTEXL
_2CC
999 _c62404
_d62404