Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen - Hermes Hans (Springer, 1961)
Keywords: Gödel, Théorème de; Fonctions calculables; Fonctions récursives; Algorithmes