Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth - Fenske, Christian Clemens (1967)