Striimpel , L . Grundriss der Logikoder