Geodesic
Ein Bezeichnungssystem für Ordinalzahlen.
Archiv für mathematische Logik und Grundlagenforschung, Tome 12 (1969), pp. 12-17.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : recursion theory, constructive mathematics 
@article{AMLG_1969__12_137813,
     author = {Helmut Pfeiffer},
     title = {Ein {Bezeichnungssystem} f\"ur {Ordinalzahlen.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {12--17},
     publisher = {mathdoc},
     volume = {12},
     year = {1969},
     zbl = {0193.31103},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1969__12_137813/}
}
TY  - JOUR
AU  - Helmut Pfeiffer
TI  - Ein Bezeichnungssystem für Ordinalzahlen.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1969
SP  - 12
EP  - 17
VL  - 12
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1969__12_137813/
ID  - AMLG_1969__12_137813
ER  - 
%0 Journal Article
%A Helmut Pfeiffer
%T Ein Bezeichnungssystem für Ordinalzahlen.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1969
%P 12-17
%V 12
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1969__12_137813/
%F AMLG_1969__12_137813
Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen.. Archiv für mathematische Logik und Grundlagenforschung, Tome 12 (1969), pp. 12-17. http://geodesic.mathdoc.fr/item/AMLG_1969__12_137813/