%0 Journal Article
%A Thomas Eichholz
%T Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1957
%P 19-28
%V 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1957__3_137731/
%F AMLG_1957__3_137731