Beweisprogramme fur die Pradikatenlogik und der Vollstandigkeitssatz von Beth

Bok av Christian Fenske