Geodesic
Eine beweistheoretische Anwendung partieller stetiger Funktionale.
Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978), pp. 65-78

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

Zbl
Mots-clés : (Partial) Continuous Functions of Finite Type, Primitive Recursive Relations, Proof Theory, Quantitative Theory of Algorithms, Intuitionism, Recursion Theory, Complexity of Proofs, Quantitative Theory Of Algorithms, Heyting Arithmetic 
H. Vogel. Eine beweistheoretische Anwendung partieller stetiger Funktionale.. Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978), pp. 65-78. http://geodesic.mathdoc.fr/item/AMLG_1978__19_137945/
@article{AMLG_1978__19_137945,
     author = {H. Vogel},
     title = {Eine beweistheoretische {Anwendung} partieller stetiger {Funktionale.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {65--78},
     year = {1978},
     volume = {19},
     zbl = {0401.03021},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1978__19_137945/}
}
TY  - JOUR
AU  - H. Vogel
TI  - Eine beweistheoretische Anwendung partieller stetiger Funktionale.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1978
SP  - 65
EP  - 78
VL  - 19
UR  - http://geodesic.mathdoc.fr/item/AMLG_1978__19_137945/
ID  - AMLG_1978__19_137945
ER  - 
%0 Journal Article
%A H. Vogel
%T Eine beweistheoretische Anwendung partieller stetiger Funktionale.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1978
%P 65-78
%V 19
%U http://geodesic.mathdoc.fr/item/AMLG_1978__19_137945/
%F AMLG_1978__19_137945