Schwichtenberg, Helmut und Wainer, Stanley S.
(1975):
Infinite terms and recursion in higher types.
In: Diller, J. und Müller, G.H. (Hrsg.):
Proof Theory Symposium Kiel 1974. Bd. 500. Berlin, Heidelberg, New York: Springer. S. 341-364
[PDF, 843kB]
Vorschau
Download (843kB)
| Dokumententyp: | Buchbeitrag |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Mathematik |
| Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| URN: | urn:nbn:de:bvb:19-epub-4490-6 |
| Ort: | Berlin, Heidelberg, New York |
| Sprache: | Englisch |
| Dokumenten ID: | 4490 |
| Datum der Veröffentlichung auf Open Access LMU: | 20. Jun. 2008, 07:26 |
| Letzte Änderungen: | 13. Aug. 2024, 12:40 |
- Dokument bearbeiten
