Geodesic
Gilt das Lemma von König
Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985), pp. 33-36.

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

Mots-clés : intuitionistic logic, leftmost infinite path of an infinite binary tree, stable species 
@article{AMLG_1985__25_138034,
     author = {Peter Zahn},
     title = {Gilt das {Lemma} von {K\"onig}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {33--36},
     publisher = {mathdoc},
     volume = {25},
     year = {1985},
     zbl = {0588.03039},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1985__25_138034/}
}
TY  - JOUR
AU  - Peter Zahn
TI  - Gilt das Lemma von König
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1985
SP  - 33
EP  - 36
VL  - 25
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1985__25_138034/
ID  - AMLG_1985__25_138034
ER  - 
%0 Journal Article
%A Peter Zahn
%T Gilt das Lemma von König
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1985
%P 33-36
%V 25
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1985__25_138034/
%F AMLG_1985__25_138034
Peter Zahn. Gilt das Lemma von König. Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985), pp. 33-36. http://geodesic.mathdoc.fr/item/AMLG_1985__25_138034/