Eine beweistheoretische Anwendung partieller stetiger Funktionale. H. Vogel (1978) Archiv für mathematische Logik und Grundlagenforschung