Invia SMS: Zur Axiomatisierung logarithmischer und halblogarithmischer Zahlensysteme.