Beweisarchiv: Arithmetik: Erweiterte Rechenarten: Logarithmus