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