research

Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der pi-1/2-Separation und Bar-Induktion

Abstract

Abstract is not available.

    Similar works