| 000 | 00576pam a2200169a 44500 | ||
|---|---|---|---|
| 040 | _aP K Kelkar Library, IIT Kanpur | ||
| 082 |
_a164 _bH42en |
||
| 100 | _aHermes, Hans | ||
| 245 | 0 |
_aEnumerability decidability computability _ban introduction to the theory of recursive functions _cHans Hermes: translated by G. T. Herman and O. Plassmann |
|
| 260 |
_aBerlin _bSpringer Verlag _c1965 |
||
| 300 | _a245p | ||
| 650 | _aComputability | ||
| 650 | _aEnumerability decidability | ||
| 700 | _aHerman, G. T. [Tr.] | ||
| 700 | _aPlassmann, O. [Tr.] | ||
| 997 | _a34362 C | ||
| 999 |
_c450776 _d450776 |
||