海量图书期刊资源,随时随地畅享阅读乐趣
Gruppentheoretisches Axiomensystem einer verallgemeinerten euklidischen GeometrieKurt Schütte · 1956
Beweistheoretische Untersuchung der verzweigten AnalysisKurt Schütte · 1951-1952
Untersuchungen zum Entscheidungsproblem der mathematischen LogikKurt Schütte · 1934
Beweistheoretische Abgrenzung von Teilsystemen der AnalysisKurt Schütte · 1980
Ein konstruktives system von OrdinalzahlenKurt Schütte · Archive for Mathematical Logic · 1968
Ordinal Diagramsby Gaisi TakeutiReview by: Kurt Schütte · The Journal of Symbolic Logic · 1959
[untitled]Review by: Kurt Schütte · The Journal of Symbolic Logic · 1959