|
1 |
Zur Beweistheorie von KPM
Schütte, Kurt. - München : Verlag der Bayerischen Akademie der Wissenschaften, 1994
|
|
|
2 |
Zur Beweistheorie von KPM
Schütte, Kurt. - München : Beck, 1993
|
|
|
3 |
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
Enthalten in Archive for mathematical logic Bd. 25, Nr. 1, date:12.1985: 75-89
|
|
|
|
4 |
Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der π1/2-Separation [Pi-Separation] und Bar-Induktion
Buchholz, Wilfried. - München : Verlag der Bayer. Akad. d. Wiss., 1983
|
|
|
|
5 |
Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis
Buchholz, Wilfried. - München : Verlag der Bayerischen Akademie der Wissenschaften, 1981
|
|
|
|
6 |
Eine syntaktische Abgrenzung der CA-Analysis
Jäger, Gerhard. - München : Verlag der Bayerischen Akademie der Wissenschaften, 1980
|
|
|
|
7 |
Syntaktische Abgrenzungen von formalen Systemen der Π1-Analysis [Pianalysis] und Δ1-Analysis [Deltaanalysis]
Buchholz, Wilfried. - München : Verlag d. Bayer. Akad. d. Wiss., 1980
|
|
|
|
8 |
Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta-Analysis
Buchholz, Wilfried. - Ludwig-Maximilians-Universität München, 1980
|
|
|
|
9 |
Beweistheoretische Abgrenzung von Teilsystemen der Analysis
Enthalten in Monatshefte für Mathematik Bd. 90, Nr. 1, date:3.1980: 1-12
|
|
|
|
10 |
Proof theory
Schütte, Kurt. - Berlin, Heidelberg, New York : Springer, 1977
|
|
Administration
