Geodesic
Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen.
Archiv für mathematische Logik und Grundlagenforschung, Tome 14 (1971), pp. 3-9

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

Zbl 
Jörg Flum. Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen.. Archiv für mathematische Logik und Grundlagenforschung, Tome 14 (1971), pp. 3-9. http://geodesic.mathdoc.fr/item/AMLG_1971__14_137845/
@article{AMLG_1971__14_137845,
     author = {J\"org Flum},
     title = {Eine {Formulierung} des {Herbrandschen} {Satzes} ohne {Skolemfunktionen.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {3--9},
     year = {1971},
     volume = {14},
     zbl = {0223.02018},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1971__14_137845/}
}
TY  - JOUR
AU  - Jörg Flum
TI  - Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1971
SP  - 3
EP  - 9
VL  - 14
UR  - http://geodesic.mathdoc.fr/item/AMLG_1971__14_137845/
ID  - AMLG_1971__14_137845
ER  - 
%0 Journal Article
%A Jörg Flum
%T Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1971
%P 3-9
%V 14
%U http://geodesic.mathdoc.fr/item/AMLG_1971__14_137845/
%F AMLG_1971__14_137845