000 | 01031n a2200337#a 4500 | ||
---|---|---|---|
001 | 11496 | ||
003 | P5A | ||
005 | 20240404163422.0 | ||
008 | 741104s1974 ne b 001 0 eng|| | ||
010 | _a73079100 | ||
015 | _aNe74-26 | ||
020 |
_a0444105379 : _cfl46.80 |
||
035 | _aocm01087957 | ||
035 | _aRecord 22286 | ||
040 |
_aDLC _cDLC |
||
049 | _aP5AA | ||
082 | 0 | 4 |
_a511.3 _bM896e |
090 | _alf4 | ||
100 | 1 |
_aMoschovakis, Yiannis N. _945297 |
|
245 | 1 | 0 |
_aElementary induction on abstract structures/ _cYiannis N. Moschovakis. |
260 |
_aAmsterdam; _bNorth-Holland; _aNew York: _bAmerican Elsevier, _c1974. |
||
300 |
_ax, 218 p.; _c24 cm. |
||
500 | _aIncludes index. | ||
504 | _aBibliography: p. 209-212. | ||
650 | 0 | 0 |
_aRecursive functions _936989 |
650 | 0 | 4 |
_aInduction (Mathematics) _937144 |
697 |
_aLógica e Fundamentos 04- _x"Studies in Logic" _923801 |
||
942 |
_2impa _cBK |
||
999 |
_c12367 _d12367 |
||
490 | 0 |
_aStudies in logic and the foundations of mathematics; _vv. 77. _944413 |