Geodesic
On certain decompositions of Gödel numberings.
Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 85-96

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

Zbl 
B. Buchberger. On certain decompositions of Gödel numberings.. Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 85-96. http://geodesic.mathdoc.fr/item/AMLG_1974__16_137886/
@article{AMLG_1974__16_137886,
     author = {B. Buchberger},
     title = {On certain decompositions of {G\"odel} numberings.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {85--96},
     year = {1974},
     volume = {16},
     zbl = {0284.02022},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1974__16_137886/}
}
TY  - JOUR
AU  - B. Buchberger
TI  - On certain decompositions of Gödel numberings.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1974
SP  - 85
EP  - 96
VL  - 16
UR  - http://geodesic.mathdoc.fr/item/AMLG_1974__16_137886/
ID  - AMLG_1974__16_137886
ER  - 
%0 Journal Article
%A B. Buchberger
%T On certain decompositions of Gödel numberings.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1974
%P 85-96
%V 16
%U http://geodesic.mathdoc.fr/item/AMLG_1974__16_137886/
%F AMLG_1974__16_137886