Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen.
Flum, Jörg
Archiv für mathematische Logik und Grundlagenforschung, Tome 9 (1971), p. 3-9 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1971-01-01
EUDML-ID : urn:eudml:doc:137845 
@article{GDZPPN002043939,
     title = {Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {9},
     year = {1971},
     pages = {3-9},
     zbl = {0223.02018},
     url = {http://dml.mathdoc.fr/item/GDZPPN002043939}
}

Flum, Jörg. Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen.. Archiv für mathematische Logik und Grundlagenforschung, Tome 9 (1971) pp. 3-9. http://gdmltest.u-ga.fr/item/GDZPPN002043939/