000 | 00519nam a2200181Ia 4500 | ||
---|---|---|---|
008 | 131223s9999 xx 000 0 und d | ||
040 | _aISI KOLKATA | ||
041 | _aEnglish | ||
082 |
_a510.7 _bOs82 |
||
100 | _aMoldestad J | ||
245 | _aFinite algorithmic procedures and inductive definability | ||
260 |
_aOslo _bUniversity _c1978 |
||
440 | _aOslo University.Institute of mathematics preprint series : 1978, 6 | ||
650 | _aAlgorithms | ||
650 | _aMathematics | ||
700 |
_aTucker J V _4Auth. |
||
942 | _cBK | ||
999 |
_c82417 _d82417 |