000 00656nam a2200205Ia 4500
008 131122s9999 xx 000 0 und d
040 _aISI KOLKATA
041 _aEnglish
082 _a5.131
_bSy989
100 _aBorger E
110 _aSymposium on Rekursive Kombinatorik( 1983 : Westfalen )
111 _aSymposium on Rekursive Kombinatorik
_cWestfalen,
_d1983
245 _aLogic and machines : decision problems and complexity : proceedings
260 _aBerlin
_bSpringer Verlag
_c1984
300 _avi,456p
440 _aLecture notes in computer science, 171
650 _aComputer science
650 _aRecursive functions
942 _cBK
999 _c107578
_d107578