| 000 | 00477pam a2200157a 44500 | ||
|---|---|---|---|
| 005 | 20170220171446.0 | ||
| 008 | 160408b1969 xxu||||| |||| 00| 0 eng d | ||
| 040 | _cIITK | ||
| 041 | _aeng | ||
| 082 |
_a164 _bH42en2 |
||
| 100 | _aHermes, Hans | ||
| 245 | 1 |
_aENUMERABILITY DECIDABILITY COMPUTABILITY _ban introduction to the theory of recursive functions _cHans Hermes; translated by G. T. Hermann |
|
| 250 | _a2nd | ||
| 260 |
_bSpringer-Verlag _c1969 _aNew York |
||
| 942 | _cBK | ||
| 999 |
_c277929 _d277929 |
||