| Schwichtenberg, Helmut (1975): Elimination of higher type levels in definitions of primitive recursive functionals by means of transfinite recursion. Logic Colloquium, Juli 1973, Bristol. |
|
1MB |
| Dokumententyp: | Konferenzbeitrag (Anderer) |
|---|---|
| Veröffentlicht in: | Rose, H.E.; Shepherdson, J.C. (Hrsg.). (1973): Logic Colloquium '73. Bd. 80, Amsterdam: North Holland Publishing Company, S. 279-303 |
| Fakultät: | Mathematik, Informatik und Statistik > Mathematik |
| Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| URN: | urn:nbn:de:bvb:19-epub-4272-1 |
| Ort: | Amsterdam |
| Signatur: | UBM:1601/SD 1973 B861 |
| Sprache: | Deutsch |
| ID: | 4272 |
| Veröffentlicht am: | 05. Jun. 2008 13:38 |
| Letzte Änderungen: | 21. Apr. 2017 14:14 |
Nur für Administratoren und Editoren: Dokument bearbeiten