Title: Beweisprogramme Für Die Prädikatenlogik und der Vollständigkeitssatz Von Beth