LEADER 01244nam a2200361 i 4500
001 991000847339707536
005 20020507174435.0
008 970709s1974    ne            ||| | eng  
020   $a0444105379
035   $ab1076558x-39ule_inst
035   $aLE01303233$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.35
084   $aAMS 03D55
084   $aAMS 03D60
084   $aAMS 03D65
100 1 $aMoschovakis, Yiannis N.$049429
245 10$aElementary induction on abstract structures /$cYiannis N. Moschovakis
260   $aAmsterdam :$c1974
300   $ax, 218 p. ;$c24 cm.
490 0 $aStudies in logic and the foundations of mathematics, ISSN 0049237X ;$vv. 77
500   $aIncludes index.
500   $aBibliography: p. 209-212
650  4$aHierarchies
650  4$aHigher-type and set recursion theory
650  4$aInduction
650  4$aRecursive functions
907   $a.b1076558x$b23-02-17$c28-06-02
912   $a991000847339707536
945   $aLE013 03D MOS11 (1974)$g1$i2013000088990$lle013$o-$pE0.00$q-$rl$s-  $t0$u2$v0$w2$x0$y.i10861221$z28-06-02
996   $aElementary Induction on Abstract Structures$9338797
997   $aUNISALENTO
998   $ale013$b01-01-97$cm$da  $e-$feng$gne $h0$i1