Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth


Christian Fenske
Bok Tysk 1967

Detaljer

Bibliotek som har denne