Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie d. rekursiven Funktionen - Hermes, Hans (Heidelberger Taschenbücher, 1971)