Definability and forcing in E-recursion.
Griffor, E.R.
Mathematica Scandinavica, Tome 56 (1985), p. 5-28 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1985-01-01
EUDML-ID : urn:eudml:doc:166940 
@article{GDZPPN002358514,
     title = {Definability and forcing in E-recursion.},
     journal = {Mathematica Scandinavica},
     volume = {56},
     year = {1985},
     pages = {5-28},
     zbl = {0623.03046},
     url = {http://dml.mathdoc.fr/item/GDZPPN002358514}
}

Griffor, E.R. Definability and forcing in E-recursion.. Mathematica Scandinavica, Tome 56 (1985) pp. 5-28. http://gdmltest.u-ga.fr/item/GDZPPN002358514/