Basic properties of logarithms