Eberhard Havekost: Logik