Logo
EnglishCookie löschen - von nun an wird die Spracheinstellung Ihres Browsers verwendet.
Schwichtenberg, Helmut (1975): Elimination of higher type levels in definitions of primitive recursive functionals by means of transfinite recursion. Logic Colloquium, Juli 1973, Bristol.
[img]
Vorschau

PDF

1MB