TY - JOUR AU - H. Vogel TI - Eine Variante des Ordinalzahlbezeichnungssystems ... . JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1982 SP - 27 EP - 42 VL - 22 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AMLG_1982__22_137989/ ID - AMLG_1982__22_137989 ER -