Geodesic
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.
Archiv für mathematische Logik und Grundlagenforschung, Tome 14 (1971), pp. 69-74.

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

@article{AMLG_1971__14_137850,
     author = {Kurt Sch\"utte and Justus Diller},
     title = {Simultane {Rekursionen} in der {Theorie} der {Funktionale} endlicher {Typen.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {69--74},
     publisher = {mathdoc},
     volume = {14},
     year = {1971},
     zbl = {0215.32304},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1971__14_137850/}
}
TY  - JOUR
AU  - Kurt Schütte
AU  - Justus Diller
TI  - Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1971
SP  - 69
EP  - 74
VL  - 14
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1971__14_137850/
ID  - AMLG_1971__14_137850
ER  - 
%0 Journal Article
%A Kurt Schütte
%A Justus Diller
%T Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1971
%P 69-74
%V 14
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1971__14_137850/
%F AMLG_1971__14_137850
Kurt Schütte; Justus Diller. Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.. Archiv für mathematische Logik und Grundlagenforschung, Tome 14 (1971), pp. 69-74. http://geodesic.mathdoc.fr/item/AMLG_1971__14_137850/