01244nam a2200361 i 450099100084733970753620020507174435.0970709s1974 ne ||| | eng 0444105379b1076558x-39ule_instLE01303233ExLDip.to Matematicaeng511.35AMS 03D55AMS 03D60AMS 03D65Moschovakis, Yiannis N.49429Elementary induction on abstract structures /Yiannis N. MoschovakisAmsterdam :1974x, 218 p. ;24 cm.Studies in logic and the foundations of mathematics, ISSN 0049237X ;v. 77Includes index.Bibliography: p. 209-212HierarchiesHigher-type and set recursion theoryInductionRecursive functions.b1076558x23-02-1728-06-02991000847339707536LE013 03D MOS11 (1974)12013000088990le013-E0.00-l- 02020.i1086122128-06-02Elementary Induction on Abstract Structures338797UNISALENTOle01301-01-97ma -engne 01