Bookbot

Hans Hermes

    Archiv für Mathematische Logik und Grundlagenforschung 3/1-2
    Arbeitsgemeinschaft für Forschung des Landes Nordrhein-Westfalen. Heft 168
    Einführung in die mathematische Logik
    Aufzählbarkeit, Entscheidbarkeit, Berechnbarkeit : Einführung in die Theorie der rekursiven Funktionen
    Rekursive Funktionen