Geodesic
Choice sequences and reduction processes.
Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978), pp. 31-50

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

Zbl
Mots-clés : Second-Order Arithmetic, Proof Theory, Systems of Natural Deduction, Intuitionistic Analysis, Strong Normalization Theorem 
R. Haberthür. Choice sequences and reduction processes.. Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978), pp. 31-50. http://geodesic.mathdoc.fr/item/AMLG_1978__19_137943/
@article{AMLG_1978__19_137943,
     author = {R. Haberth\"ur},
     title = {Choice sequences and reduction processes.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {31--50},
     year = {1978},
     volume = {19},
     zbl = {0404.03046},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1978__19_137943/}
}
TY  - JOUR
AU  - R. Haberthür
TI  - Choice sequences and reduction processes.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1978
SP  - 31
EP  - 50
VL  - 19
UR  - http://geodesic.mathdoc.fr/item/AMLG_1978__19_137943/
ID  - AMLG_1978__19_137943
ER  - 
%0 Journal Article
%A R. Haberthür
%T Choice sequences and reduction processes.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1978
%P 31-50
%V 19
%U http://geodesic.mathdoc.fr/item/AMLG_1978__19_137943/
%F AMLG_1978__19_137943