Mathematische GrundlagenHans Hermes × Aufzählbarkeit Entscheidbarkeit BerechenbarkeitEinführung in die Theorie der rekursiven FunktionenHans HermesSpringer BerlinSoftcover1978