Logo Logo
Help
Contact
Switch Language to German
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
1MB