Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : EINFÜHRUNG IN DIE THEORIE DER REKURSIVEN FUNKTIONEN - Hermes, Hans (Die Grundlehren der Mathematischen Wissenschaften / Springer Verlag ;, 1961)