Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen. Thomas Eichholz — 1957 Archiv für mathematische Logik und Grundlagenforschung