Aufzählbarkeit Entscheidbarkeit Berechenbarkeit Einführung in die Theorie der rekursiven Funktionen - Hermes, Hans 1912-2003 (Springer Berlin Heidelberg, 1978)