Logo
DeutschClear Cookie - decide language by browser settings
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]
Preview

PDF

1MB