Aufzählbarkeit Entscheidbarkeit Berechenbarkeit Einführung in die Theorie der rekursiven Funktionen Hermes Hans Heftet / 1978 / Tysk
