Smilog: properties of the logarithms (1)
Informação: Smilog: properties of the logarithms (1)