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
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1971__14_137845/
ID  - AMLG_1971__14_137845
ER  -