Mathematik: LogikHans Hermes × Aufzählbarkeit Entscheidbarkeit BerechenbarkeitEinführung in die Theorie der rekursiven FunktionenHans HermesSpringer BerlinSoftcover1978