A classification of the ordinal recursive functions.
Archiv für mathematische Logik und Grundlagenforschung, Tome 13 (1970), pp. 136-153
Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{AMLG_1970__13_137841,
author = {S.S. Wainer},
title = {A classification of the ordinal recursive functions.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
pages = {136--153},
publisher = {mathdoc},
volume = {13},
year = {1970},
zbl = {0228.02027},
url = {http://geodesic.mathdoc.fr/item/AMLG_1970__13_137841/}
}
S.S. Wainer. A classification of the ordinal recursive functions.. Archiv für mathematische Logik und Grundlagenforschung, Tome 13 (1970), pp. 136-153. http://geodesic.mathdoc.fr/item/AMLG_1970__13_137841/