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