Schütte, Kurt. "Ein konstruktives System von Ordinalzahlen.." Archiv für mathematische Logik und Grundlagenforschung 11 (1967): 126-137. <http://eudml.org/doc/137811>.
@article{Schütte1967, author = {Schütte, Kurt}, journal = {Archiv für mathematische Logik und Grundlagenforschung}, keywords = {recursion theory, constructive mathematics}, pages = {126-137}, title = {Ein konstruktives System von Ordinalzahlen.}, url = {http://eudml.org/doc/137811}, volume = {11}, year = {1967}, }
TY - JOUR AU - Schütte, Kurt TI - Ein konstruktives System von Ordinalzahlen. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1967 VL - 11 SP - 126 EP - 137 KW - recursion theory, constructive mathematics UR - http://eudml.org/doc/137811 ER -