Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "118611127"
im Bestand: Gesamter Bestand

1 - 10 von 15

	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	Eine syntaktische Abgrenzung der CA-Analysis Jäger, Gerhard. - München : Verlag der Bayerischen Akademie der Wissenschaften, 1980
	5	Beweistheoretische Abgrenzung von Teilsystemen der Analysis Enthalten in Monatshefte für Mathematik Bd. 90, Nr. 1, date:3.1980: 1-12
	6	Proof theory Schütte, Kurt. - Berlin, Heidelberg, New York : Springer, 1977
	7	Proof Theory Schütte, Kurt. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1977
	8	Proof Theory Symposion Proof Theory Symposion (1974 : Kiel). - Berlin, Heidelberg, New York : Springer, 1975
	9	A characterization of Takeuti's ordinal diagrams of finite order Enthalten in Archive for mathematical logic Bd. 14, Nr. 1-2, date:3.1971: 75-97
	10	Contributions to mathematical logic Amsterdam : North-Holland Publishing Co., 1968