Geodesic
Eine Funktionalinterpretation der prädikativen Analysis.
Archiv für mathematische Logik und Grundlagenforschung, Tome 18 (1977), pp. 27-46.

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

@article{AMLG_1977__18_137925,
     author = {Wolfgang Maa{\ss}},
     title = {Eine {Funktionalinterpretation} der pr\"adikativen {Analysis.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {27--46},
     publisher = {mathdoc},
     volume = {18},
     year = {1977},
     zbl = {0381.03043},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1977__18_137925/}
}
TY  - JOUR
AU  - Wolfgang Maaß
TI  - Eine Funktionalinterpretation der prädikativen Analysis.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1977
SP  - 27
EP  - 46
VL  - 18
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1977__18_137925/
ID  - AMLG_1977__18_137925
ER  - 
%0 Journal Article
%A Wolfgang Maaß
%T Eine Funktionalinterpretation der prädikativen Analysis.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1977
%P 27-46
%V 18
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1977__18_137925/
%F AMLG_1977__18_137925
Wolfgang Maaß. Eine Funktionalinterpretation der prädikativen Analysis.. Archiv für mathematische Logik und Grundlagenforschung, Tome 18 (1977), pp. 27-46. http://geodesic.mathdoc.fr/item/AMLG_1977__18_137925/