Aufzählbarkeit, Entschaidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen - Hermes, Hans (Berlin : Springer-Verlag, 1961)
Keywords: FUNCIONES RECURSIVAS