Origines de la découverte par Leibniz du calcul infinitésimal ; Frege et le projet des " Grundlagen " ; La Théorie des types de Runell et Whitehead — Centre de logique. Louvain-la-Neuve, Belgique