Title: Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth