Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : EINFÜHRUNG IN DIE THEORIE DER REKURSIVEN FUNKTIONEN - Hermes, Hans (Springer Verlag, 1961)