000 | 00768nam a22002297a 4500 | ||
---|---|---|---|
003 | IIITD | ||
005 | 20231102020002.0 | ||
008 | 201231b xxu||||| |||| 00| 0 eng d | ||
020 | _a9783540666813 | ||
040 | _aIIITD | ||
082 |
_a511.3 _bSOA-R |
||
100 | _aSoare, Robert I. | ||
245 |
_aRecursively enumerable sets and degrees : _ba study of computable functions and computably generated sets _cby Robert I. Soare |
||
260 |
_aNew York : _bSpringer, _c©1987. |
||
300 |
_axii, 437 p. : _bill. ; _c23 cm. |
||
440 | _aPerspectives in Mathematical Logic | ||
500 | _aThis book contains Notation Index and References. | ||
650 | _aComputable functions | ||
650 | _aRecursively enumerable sets | ||
650 | _aRecursive functions | ||
942 |
_2ddc _cBK _01 |
||
999 |
_c156267 _d156267 |