| 000 | 00664cam a2200193 p 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 008 | 741104s1974 ne b 001 0 eng | ||
| 080 |
_a510.646 _bMOS |
||
| 100 | 1 |
_aMoschovakis, Yiannis N. _96681 |
|
| 245 | 1 | 0 |
_aElementary induction on abstract structures / _c[by] Yiannis N. Moschovakis. |
| 260 |
_aNew York : _bNorth-Holland Pub. Co. ; _c1974. |
||
| 300 | _ax, 217 p. | ||
| 490 |
_aStudies in logic and the foundations of the mathematics _vvol.77 |
||
| 500 | _aIncludes index. | ||
| 650 | 0 |
_aRecursive functions. _96682 |
|
| 650 | 0 |
_aInduction (Mathematics) _96683 |
|
| 653 | _aElementary induction on abstract structures / | ||
| 942 | _cBK | ||
| 999 |
_c164111 _d164111 |
||