Describir: Zur Axiomatisierung logarithmischer und halblogarithmischer Zahlensysteme.