000 | 00673nam a22002297a 4500 | ||
---|---|---|---|
003 | IIITD | ||
005 | 20210127151546.0 | ||
008 | 190405b xxu||||| |||| 00| 0 eng d | ||
020 | _a9781470425944 | ||
040 | _aDLC | ||
082 |
_a511.352 _bWEB-C |
||
100 | _aWeber, Rebecca. | ||
245 |
_aComputability theory _cby Rebecca Weber |
||
260 |
_bAmerican Mathematical Society, _aHyderabad : _c©2012. |
||
300 |
_avii, 203 p. : _c22 cm. |
||
504 | _aIncludes references and index. | ||
650 | _aRecursion theory | ||
650 | _aComputable functions | ||
650 | _aWorking with computable functions | ||
650 | _aComputing and enumerating sets | ||
942 |
_2ddc _cBK _01 |
||
999 |
_c25476 _d25476 |