Knihobot

Hans Hermes

    Arbeitsgemeinschaft für Forschung des Landes Nordrhein-Westfalen. Heft 168
    Einführung in die mathematische Logik
    Zahlen
    Aufzählbarkeit, Entscheidbarkeit, Berechnbarkeit : Einführung in die Theorie der rekursiven Funktionen
    Rekursive Funktionen
    Selecta Mathematica II