Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einf. in die Theorie der rekursiven Funktionen. - Hermes, Hans (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, 1961)