1 - Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einfuhrung in dieTheorie der rekursiven FunktionenHermes, Hans (1912-2003)Cote : [05 HER 61]