Hundert Jahre formale Logik - Hermes, Hans (1977)