| 000 | 00632cam a22002051 4500 | ||
|---|---|---|---|
| 005 | 20170220094635.0 | ||
| 008 | 841120s1957 ne b 000 0 eng | ||
| 040 | _cIITK | ||
| 041 | _aeng | ||
| 082 |
_a160 _bSt9 no.17 |
||
| 100 | 1 | _aGoodstein, R. L. | |
| 245 | 1 | 0 |
_aRecursive number theory _ba development of recursive arithmetic in a logic-free equation calculus. |
| 260 |
_aAmsterdam _bNorth-Holland Publishing _c1957 |
||
| 300 | _axii, 190p | ||
| 440 | 0 | _aStudies in logic and the foundations of mathematics | |
| 650 | 0 | _aRecursion theory | |
| 650 | 0 |
_aArithmetic _xFoundations |
|
| 650 | 0 | _aNumber theory | |
| 942 | _cBK | ||
| 999 |
_c412459 _d412459 |
||