TY - JOUR AU - Kurt Wolfsdorf TI - Der Beweis eines Satzes von G. Choodnovsky. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1980 SP - 161 EP - 172 VL - 20 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AMLG_1980__20_137970/ LA - de ID - AMLG_1980__20_137970 ER -