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  -