Logo Logo
Eine Ebene nach oben
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: Buchbeitrag
Anzahl der Publikationen: 2

Buchbeitrag

Buchholz, Wilfried (1992): A simplified version of local predicativity. In: Aczel, Peter; Simmons, Harold und Wainer, Stanley S. (Hrsg.): Proof theory. Leeds: Cambridge University Press. S. 117-147 [PDF, 1MB]

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]

Diese Liste wurde am Sat Mar 23 21:36:04 2024 CET erstellt.