Geodesic
Recursive Functions and Regressive Isols.
Mathematica Scandinavica, Tome 15 (1964), pp. 29-42.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : mathematical logic 
@article{MS2_1964__15_165886,
     author = {J. Barrack},
     title = {Recursive {Functions} and {Regressive} {Isols.}},
     journal = {Mathematica Scandinavica},
     pages = {29--42},
     publisher = {mathdoc},
     volume = {15},
     year = {1964},
     zbl = {0148.24701},
     url = {http://geodesic.mathdoc.fr/item/MS2_1964__15_165886/}
}
TY  - JOUR
AU  - J. Barrack
TI  - Recursive Functions and Regressive Isols.
JO  - Mathematica Scandinavica
PY  - 1964
SP  - 29
EP  - 42
VL  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS2_1964__15_165886/
ID  - MS2_1964__15_165886
ER  - 
%0 Journal Article
%A J. Barrack
%T Recursive Functions and Regressive Isols.
%J Mathematica Scandinavica
%D 1964
%P 29-42
%V 15
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1964__15_165886/
%F MS2_1964__15_165886
J. Barrack. Recursive Functions and Regressive Isols.. Mathematica Scandinavica, Tome 15 (1964), pp. 29-42. http://geodesic.mathdoc.fr/item/MS2_1964__15_165886/