Title: Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth
Subjects: Computer programming, Symbolic and mathematical Logic