TY - JOUR AU - Hartwig Fuchs TI - Algorithmic representations of Wermus' constructions of ordinal numbers JO - Revista colombiana de matematicas PY - 1971 SP - 10 EP - 16 VL - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RCM_1971__5_181584/ ID - RCM_1971__5_181584 ER -