Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.
Wirsing, Martin
Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978), p. 97-110 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1978-01-01
EUDML-ID : urn:eudml:doc:137948 
@article{GDZPPN002044978,
     title = {Kleine unentscheidbare Klassen der Pr\"adikatenlogik mit Identit\"at und Funktionszeichen.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {19},
     year = {1978},
     pages = {97-110},
     zbl = {0398.03005},
     url = {http://dml.mathdoc.fr/item/GDZPPN002044978}
}

Wirsing, Martin. Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.. Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978) pp. 97-110. http://gdmltest.u-ga.fr/item/GDZPPN002044978/