Treffer 1 – 14 von 14 für Suche 'Buchholz, Wilfried', Suchdauer: 0,06s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Innenrundschleifen von Siliziumnitridkeramik mit axial vorgespannten Werkzeugen von Buchholz, Wilfried
Veröffentlicht 1996Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
2
Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der pi-1/2-Separation und Bar-Induktion von Buchholz, Wilfried, Schütte, Kurt
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Fernleihe Bestellen -
3
Rekursive Bezeichnungssysteme für Ordinalzahlen auf der Grundlage der Feferman-Aczelschen Normalfunktionen Theta alpha von Buchholz, Wilfried
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen … -
4
Rekursive Bezeichnungssysteme für Ordinalzahlen auf der Grundlage der Feferman-Aczelschen Normalfunktionen Theta (alpha) von Buchholz, Wilfried
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen … -
5
Rekursive Bezeichnungssysteme für Ordinalzahlen auf der Grundlage der Feferman-Aczelschen Normalfunktionen ... von Buchholz, Wilfried
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen … -
6
Rekursive Bezeichnungssysteme für Ordinalzahlen auf der Grundlage der Feferman-Aczelschen Normalfunktionen O alpha von Buchholz, Wilfried
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen … -
7
Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Pi-Separation und Bar-Induktion von Buchholz, Wilfried
Veröffentlicht 1984Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Buch Fernleihe Bestellen -
8
Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der ... - Separation und Bar-Induktion von Buchholz, Wilfried, Schütte, Kurt
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen … -
9
Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies von Buchholz, Wilfried 1948-, Feferman, Solomon 1928-, Pohlers, Wolfram 1943-, Sieg, Wilfried 1945-
Veröffentlicht 1981Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
10
Rekursive Bezeichnungssysteme für Ordinalzahlen auf der Grundkage der Feferman-Aczelschen Normalfunktionen von Buchholz, Wilfried
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen … -
11
Proof theory of impredicative subsystems of analysis von Buchholz, Wilfried, Schütte, Kurt
Veröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen … -
12
Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis von Buchholz, Wilfried, Schütte, Kurt
Veröffentlicht 1981Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Buch Fernleihe Bestellen -
13
Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta-Analysis von Buchholz, Wilfried, Schütte, Kurt
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Fernleihe Bestellen -
14
Langenscheidt Handwörterbuch Albanisch von Buchholz, Oda 1940-2014, Fiedler, Wilfried 1933-2019, Uhlisch, Gerda 1937-, Klosi, Ardian 1957-2012
Veröffentlicht 2000“… von Oda Buchholz, Wilfried Fiedler, Gerda Uhlisch …”
Signatur: Wird geladen …
Standort: Wird geladen …