Finite alogorithmic procedures and inductive definability.
Moldestad, J. ; Stoltenberg-Hansen, V.
Mathematica Scandinavica, Tome 47 (1980), p. 62-76 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1980-01-01
EUDML-ID : urn:eudml:doc:166690 
@article{GDZPPN002356015,
     title = {Finite alogorithmic procedures and inductive definability.},
     journal = {Mathematica Scandinavica},
     volume = {47},
     year = {1980},
     pages = {62-76},
     zbl = {0448.03037},
     url = {http://dml.mathdoc.fr/item/GDZPPN002356015}
}

Moldestad, J.; Stoltenberg-Hansen, V. Finite alogorithmic procedures and inductive definability.. Mathematica Scandinavica, Tome 47 (1980) pp. 62-76. http://gdmltest.u-ga.fr/item/GDZPPN002356015/