%0 Journal Article %A Matthias Ragaz %T Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik. %J Archiv für mathematische Logik und Grundlagenforschung %D 1983 %P 129-140 %V 23 %I mathdoc %U http://geodesic.mathdoc.fr/item/AMLG_1983__23_138013/ %F AMLG_1983__23_138013