SMS versenden: Zur Axiomatisierung logarithmischer und halblogarithmischer Zahlensysteme.