Buchholz, Wilfried, 1948-....
Buchholz, Wilfried
Wilfried Buchholz
VIAF ID: 109865810 ( Personal )
Permalink: http://viaf.org/viaf/109865810
Preferred Forms
-
-
- 100 1 _ ‡a Buchholz, Wilfried
-
-
-
- 100 1 _ ‡a Buchholz, Wilfried ‡d 1948-
- 100 1 _ ‡a Buchholz, Wilfried ‡d 1948-
-
- 100 1 _ ‡a Buchholz, Wilfried, ‡d 1948-
-
- 100 1 _ ‡a Buchholz, Wilfried, ‡d 1948-....
- 100 0 _ ‡a Wilfried Buchholz
4xx's: Alternate Name Forms (2)
5xx's: Related Names (1)
- 551 _ _ ‡a Berlin-Spandau
Works
Title | Sources |
---|---|
Eine Erweiterung der Schnitteliminationsmethode | |
Innenrundschleifen von Siliziumnitridkeramik mit axial vorgespannten Werkzeugen | |
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies | |
Ordinalzahlensystem für die beweistheoretische Abgrenzung der π1/2-Separation [Pi-Separation] und Bar-Induktion | |
Rekursive Bezeichnungssysteme für Ordinalzahlen auf der Grundlage der Feferman-Aczelschen Normalfunktionen Θα | |
Syntaktische Abgrenzungen von formalen Systemen der [Pianalysis] und Δ1-Analysis [Deltaanalysis] |