L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique