![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 1
Konferenzbeitrag
Schwichtenberg, Helmut
(1975):
Elimination of higher type levels in definitions of primitive recursive functionals by means of transfinite recursion.
Logic Colloquium, Bristol, Juli 1973.
Rose, H.E. und Shepherdson, J.C. (Hrsg.):
In: Logic Colloquium '73, Studies in logic and the foundations of mathematics
Bd. 80
Amsterdam: North Holland Publishing Company. S. 279-303
[PDF, 1MB]