Gratisversand in ganz Deutschland!
Bookbot

Kurt Schütte Reihenfolge der Bücher

    Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit Π12-Separation [Pi-Separation] und Bar-Induktion
    Zur Beweistheorie von KPM
    Primitiv-rekursive Ordinalzahlfunktionen
    Vollständige Systeme modaler und intuitionistischer Logik