Aufzählbarkeit, Entscheidbarkeit, Berechnbarkeit : Einführung in die Theorie der rekursiven FunktionenBewachen
