Der Beweis eines Satzes von G. Choodnovsky. Kurt Wolfsdorf — 1980 Archiv für mathematische Logik und Grundlagenforschung