¿Qué matemático fue el primero en definir, formular y trabajar con los logaritmos?