Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.

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